Call for Papers and Other Useful Academic Information

The odd thing is that other customers have no problems from the same
ftp client to the same ftp server, at about the same level of use.

Still, the ping test would cost next to nothing and may get us useful
info. Thanks!

On Mon, Aug 18, 2008 at 6:58 PM, ken wrote:
> —–BEGIN PGP SIGNED MESSAGE—–
> Hash: SHA1
>
>
> Kai,
>
> A transient failure of the kind you’re describing reminds me of flaky
> network hardware. There’s a lot of ways to go to test this out, for
> instance:
>
> For a few hours at least ping 1500-byte packets out of the client to a
> third node on another subnet.
>
> Likewise ping out of the server to a fourth node on subnet remote to it.
>
> And/or move the client and server onto different switch ports, if
> possible onto ports on a different blade, and see if the problem then
> goes away.
>
> Re: snoop:
>
> snoop -d [device-name]
>
> device-name is bge0 or le1 or something like that. Determine that from
> “ifconfig -a”.
>
>
> On 08/18/2008 02:06 PM Kai Hintze wrote:
>> Greetings oh Wizeness,
>>
>> Sometimes ftp transmissions fail for no reason we have been able to
>> discern. These are ascii transmission from one Sun box to another
>> across a WAN. File size varies from 500 bytes to 16KB. We send about
>> 200 files one at a time using a script. We were sending them all in
>> one batch, but when one died the rest of the batch would get lost.
>> Sending one at a time we only lose one or two per set. Which ones die
>> varies from one day to the next. I have not been able to figure out a
>> pattern.
>>
>> I am trying to snoop the process to figure out what is happening, but
>> all I see is the responses. The command I am using is:
>> root@client:/tmp# snoop -o snoop.out ftpserver
>> using device /dev/ce (promiscuous mode)
>> 12238^C
>> root@client:/tmp#
>>
>> 1) How do I trap what we send from client to the ftp server?
>>
>> 2) Does anyone have other suggestions about why some apparently random
>> files transmit no problem one day, but fail the next? Or other
>> suggestions about how I can find out?
>>
>> Thanks,
>> Kai
>>

–
To unsubscribe from the UNIX-WIZ Mailing List, send an email to
LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
UNIX-WIZ” minus quotes of course. There are searchable archives located
at http://listserv.nodak.edu/archives/unix-wiz.html
———
ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
Contact the above address if you have any problems or questions about the
list itself!

—–BEGIN PGP SIGNED MESSAGE—–
Hash: SHA1

Kai,

A transient failure of the kind you’re describing reminds me of flaky
network hardware. There’s a lot of ways to go to test this out, for
instance:

For a few hours at least ping 1500-byte packets out of the client to a
third node on another subnet.

Likewise ping out of the server to a fourth node on subnet remote to it.

And/or move the client and server onto different switch ports, if
possible onto ports on a different blade, and see if the problem then
goes away.

Re: snoop:

snoop -d [device-name]

device-name is bge0 or le1 or something like that. Determine that from
“ifconfig -a”.

- –
Please note that I will be changing this email address soon. The PGP
signature should ensure for everyone that, though the email address
will be different, I will be the same person.

On 08/18/2008 02:06 PM Kai Hintze wrote:
> Greetings oh Wizeness,
>
> Sometimes ftp transmissions fail for no reason we have been able to
> discern. These are ascii transmission from one Sun box to another
> across a WAN. File size varies from 500 bytes to 16KB. We send about
> 200 files one at a time using a script. We were sending them all in
> one batch, but when one died the rest of the batch would get lost.
> Sending one at a time we only lose one or two per set. Which ones die
> varies from one day to the next. I have not been able to figure out a
> pattern.
>
> I am trying to snoop the process to figure out what is happening, but
> all I see is the responses. The command I am using is:
> root@client:/tmp# snoop -o snoop.out ftpserver
> using device /dev/ce (promiscuous mode)
> 12238^C
> root@client:/tmp#
>
> 1) How do I trap what we send from client to the ftp server?
>
> 2) Does anyone have other suggestions about why some apparently random
> files transmit no problem one day, but fail the next? Or other
> suggestions about how I can find out?
>
> Thanks,
> Kai
>
> –
> To unsubscribe from the UNIX-WIZ Mailing List, send an email to
> LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
> UNIX-WIZ” minus quotes of course. There are searchable archives located
> at http://listserv.nodak.edu/archives/unix-wiz.html
> ———
> ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
> Contact the above address if you have any problems or questions about the
> list itself!
>
—–BEGIN PGP SIGNATURE—–
Version: GnuPG v1.4.0 (GNU/Linux)

iD8DBQFIqhqZ8CeNiFrQkecRAnQ9AKCrUNHyLni+yMRPfkEZuz/EyJl20QCgjqs0
diTl6lY2edJAfW49/miR+6U=
=+zzC
—–END PGP SIGNATURE—–

–
To unsubscribe from the UNIX-WIZ Mailing List, send an email to
LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
UNIX-WIZ” minus quotes of course. There are searchable archives located
at http://listserv.nodak.edu/archives/unix-wiz.html
———
ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
Contact the above address if you have any problems or questions about the
list itself!

Greetings oh Wizeness,

Sometimes ftp transmissions fail for no reason we have been able to
discern. These are ascii transmission from one Sun box to another
across a WAN. File size varies from 500 bytes to 16KB. We send about
200 files one at a time using a script. We were sending them all in
one batch, but when one died the rest of the batch would get lost.
Sending one at a time we only lose one or two per set. Which ones die
varies from one day to the next. I have not been able to figure out a
pattern.

I am trying to snoop the process to figure out what is happening, but
all I see is the responses. The command I am using is:
root@client:/tmp# snoop -o snoop.out ftpserver
using device /dev/ce (promiscuous mode)
12238^C
root@client:/tmp#

1) How do I trap what we send from client to the ftp server?

2) Does anyone have other suggestions about why some apparently random
files transmit no problem one day, but fail the next? Or other
suggestions about how I can find out?

Thanks,
Kai

–
To unsubscribe from the UNIX-WIZ Mailing List, send an email to
LISTSERV@LISTSERV.NODAK.EDU having a body containing only “SIGNOFF
UNIX-WIZ” minus quotes of course. There are searchable archives located
at http://listserv.nodak.edu/archives/unix-wiz.html
———
ListAdmin: UNIX-WIZ-request@LISTSERV.NODAK.EDU
Contact the above address if you have any problems or questions about the
list itself!

========================= WS-FM 2008 ===========================+
| |
| 5th International Workshop on Web Services and Formal Methods |
| September 4-5, 2008, Milan, Italy |
| |
| http://www.informatik.uni-rostock.de/ws-fm2008/ |
+================================================================+
Co-located with the 6th International Conference on
Business Process Management (BPM’08)

REGISTRATION:
http://www.informatik.uni-rostock.de/ws-fm2008/registration.html

ACCOMODATION:
http://emma.polimi.it/emma/showEvent.do?page=611&idEvent=22

VENUE:
http://emma.polimi.it/emma/showEvent.do?page=485&idEvent=22

Scope of the Workshop
———————

Web Service (WS) technology provides standard mechanisms and protocols
for describing, locating and invoking services available all over the
web. Existing infrastructures already enable providers to describe
services in terms of their interface, access policy and behavior, and
to combine simpler services into more structured and complex
ones. However, research is still needed to move WS technology
from skilled handcrafting to well-engineered practice, supporting
the management of interactions with stateful and long-running services,
large farms of services, quality of service delivery, inter alia.

Formal methods can play a fundamental role in the shaping of such
innovations. For instance, they can help us define
unambiguous semantics for the languages and protocols that underpin
existing WS infrastructures, and provide a basis for
checking the conformance and compliance of bundled services. They can
also empower dynamic discovery
and binding with compatibility checks against behavioural properties
and quality of service requirements. Formal analysis of security
properties and performance is also essential in application areas such as
e-commerce. These are just a few prominent aspects;
the scope for using formal methods in the area of Web Services is
much wider, and the challenges raised by this new area can
offer opportunities for extending the state of the art in formal techniques.

The aim of the workshop series is to bring together researchers
working on Web Services and Formal Methods in order to catalyze
fruitful collaboration. The scope of the workshop is not purely
limited to technological aspects. In fact, the WS-FM series has a strong
tradition of attracting submissions on formal approaches to
enterprise systems modeling in general, and business process modeling
in particular. Potentially, this could have a significant impact on
the on-going standardization efforts for Web Service technology.

Invited Speaker
—————

Mario Bravetti, University of Bologna
http://www.cs.unibo.it/~bravetti

Preliminary Programme
———————

THURSDAY, SEPTEMBER 4

13:45-14:00 - WELCOME by Roberto Bruni and Karsten Wolf

14:00-15:30 - ANALYSIS, TEST AND VERIFICATION
* Validation and Discovery of Non-deterministic Semantic e-services
(Luigi Dragone)
* Proof techniques for adapter generation
(Arjan Mooij, Marc Voorhoeve)
* On-The-Fly Model-Based Testing of Web Services with Jambition
(Thomas Wallet, Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere
Kiss)

16:00-17:30 - CHOREOGRAPHIES AND PROCESS CALCULI
* Security Types for Sessions and Pipelines
(Marija Kolundzija)
* Contract Compliance and Choreography Conformance in the Presence of
Message Queues
(Mario Bravetti, Gianluigi Zavattaro)
* Verification of choreographies during execution using the Reactive
Event Calculus
(Marco Montali, Paola Mello, Federico Chesani, Paolo Torroni)

FRIDAY, SEPTEMBER 5

9:30-10:30 - INVITED TALK by Mario Bravetti:
* On the Expressive Power of Process Interruption and Compensation
(Mario Bravetti)

11:00-12:30 - TRANSACTIONS (AND INTEROPERABILITY)
* Refactoring Long Running Transactions
(Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto)
* Fault, Compensation and Termination in WS-BPEL 2.0 — A comparative
analysis
(Christian Eisentraut and David Spieler)
* Towards a formal framework for workflow interoperability
(Sarah Induruwa Fernando, Andrew Simpson)

14:00-16:00 - WORKFLOWS AND PETRI NETS
* Why does my service have no partners?
(Niels Lohmann)
* Efficient Controllability Analysis of Open Nets
(Daniela Weinberg)
* RESTful Petri Net Execution
(Gero Decker, Alexander Luders, Kai Schlichting, Hagen Overdick and
Mathias Weske)
* Modeling and Analyzing Time-Constrained Flexible Workflows with Time
Recursive Petri Nets
(Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur)

History
——-

Information about previous editions of the workshop can be found at

WS-FM’07: http://bpm07.fit.qut.edu.au/ws-fm07/
WS-FM’06: http://www.cs.unibo.it/projects/ws-fm06/
WS-FM’05: http://www.cs.unibo.it/~lucchi/ws-fm05/
WS-FM’04: http://www.cs.unibo.it/~lucchi/ws-fm04/

Starting from 2007, the workshop has taken over the activities of the
online community formerly known as the “Petri and Pi” Group, which
allowed to bring closer the community of workflow oriented researchers
with that of process calculi oriented researchers. People interested
in the subject can still join the active mailing list on “Formal
Methods for Service Oriented Computing and Business Process
Management” (FMxSOCandBPM) available at

http://www.cs.unibo.it/cgi-bin/mailman/listinfo/fmxsocandbpm

Steering Committee
——————

W. van der Aalst (Eindhoven University of Technology, The Netherlands)
M. Bravetti (University of Bologna, Italy)
M. Dumas (University of Tartu, Estonia)
J.L. Fiadeiro (University of Leicester, UK)
G. Zavattaro (University of Bologna, Italy)

Program Committee
—————–

Co-chairs:

R. Bruni (University of Pisa, Italy)
K. Wolf (University of Rostock, Germany)

Other PC members:

F. Arbab (CWI, The Netherlands)
M. Baldoni (University of Torino, Italy)
A. Barros (SAP Research Brisbane, Australia)
B. Benatallah (University of New South Wales, Australia)

K. Bhargavan (Microsoft Research Cambridge, UK)
E. Bonelli (Universidad Nacional de Quilmes, Argentina)
M. Butler (University of Southhampton, UK)
P. Ciancarini (University of Bologna, Italy)
F. Curbera (IBM Hawthorne Heights, U.S.)
G. Decker (HPI Potsdam, Germany)
F. Duran (University of Malaga, Spain)
S. Dustdar (University of Vienna, Austria)
A. Friesen (SAP Research Karlsruhe, Germany)
S. Gilmore (University of Edinburgh, Scotland)
R. Heckel (University of Leicester, UK)
D. Hirsch (Intel Argentina, Argentina)
F. Leymann (University of Stuttgart, Germany)
M. Little (RedHat, UK)
N. Kavantzas (Oracle Inc., U.S.)
A. Knapp (LMU Munich, Germany)
F. Martinelli (CNR Pisa, Italy)
H. Melgratti (University of Buenos Aires, Argentina)
S. Nakajima (National Institute of Informatics, Japan)
M. Nunez (Complutense University of Madrid, Spain)
J. Padget (University of Bath, UK)
G. Pozzi (Politecnico Milano, Italy)
R. Pugliese (University of Florence, Italy)
A. Ravara (Technical University of Lisbon, Portugal)
S. Ross-Talbot (pi4tech)
N. Sidorova (Eindhoven University of Technology, The Netherlands)
C. Stahl (Humboldt-University Berlin, Germany)
E. Tuosto (University of Leicester, UK)
H. Voelzer (IBM Zurich, Switzerland)
D. Yankelevich (Pragma Consultores, Argentina)
P. Yendluri (Software AG, U.S.)

================================================================

–
=====================================================================
Dr. Roberto Bruni
Computer Science Department Phone: +39 050 2212785
University of Pisa Fax: +39 050 2212726
Largo B. Pontecorvo, 3 Email: bruni@di.unipi.it
I-56127 Pisa - ITALY WWW: http://www.di.unipi.it/~bruni
=====================================================================
“Different people define different things differently”
=====================================================================

—-
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]

LaSh08 - WORKSHOP ON LOGIC AND SEARCH
Computation of structures from declarative descriptions
Leuven, Belgium, November 6-7, 2008

http://www.cs.kuleuven.be/~dtai/LaSh08

DEADLINE EXTENSION: August 25, 2008.

……………………………………………………….

IMPORTANT DATES:

Submission: August 25, 2008
Notification: September 15, 2008
Workshop: November 6-7, 2008

SCOPE:

LaSh is the first workshop that aims to bring together researchers
from the areas of Propositional Satisfiability (SAT), Constraint
Programming (CP), and Answer Set Programming (ASP). While so far SAT,
ASP and CP have developed as three independent disciplines, the past
years have shown a trend in which the application domains of SAT, CP
and ASP are more and more overlapping and the languages developed in
these areas tend to converge. There is a growing awareness of the
potential of combining techniques and algorithms from the different
areas.

Objectives
==========

LaSh08 aims to offer a discussion forum for research in SAT, ASP and
CP. We invite contributions on modeling languages,
methodologies, theoretical analysis, techniques, algorithms and
systems. The forum is an occasion to exchange ideas on the
state-of-the-art; to discuss specific technical problems; to formulate
challenges and opportunities ahead; to analyse differences and
simularities between the different areas; to study opportunities for
synergy and integration.

In particular, we would like to foster exchange at least on the
following topics:

— integrations of SAT, ASP and/or CP technologies
— comparisons of modeling languages
— criteria for choice of modeling languages
(for modeling convenience or efficiency)
— new algorithm directions
— efficient modeling strategies
— new applications
— complexity results, tractable subsets
— completeness results (e.g. capturing complexity classes)
— methods for taking advantage of tractability results
— SAT modulo theories
— solver implementation techniques,
— algorithms for grounding
— modeling languages and constructs
(aggregates, global constraints,..)
— search control and heuristics in the context of model generation
— symmetry breaking in model construction
— optimisation problems in model construction:
– languages for optimality criteria;
– algorithms for computing optimal models

LaSh08 will also provide an opportunity for presentation of implemented
systems and tools at a demo session. Thus, we invite submissions of
systems and tools that reflect the above ideas, and aim at facilitating
declarative problem solving, and making it practical and used.

Workshop format:
================

The workshops objective is to create an informal, stimulating
atmosphere for exchange of ideas.

The invited speakers are well-known experts:
* Pascal Van Hentenryck, Brown University,
“Constraint Programming at Work “.
* Robert Nieuwenhuis, Technical University of Catalonia,
“The Barcelogic approach to search: fast and robust but expressive”.

A panel with experts of the different fields will be organized to
discuss differences and similarities between the different areas,
opportunities for integration, etc.

Paper Format
=============

Technical papers and application papers must be in the Springer LNCS
format and must not exceed 15 pages.

Experimental and tool papers are intended to describe implementations
of systems, to report experiments with implemented systems, or to
compare implemented systems. They can be at most 8 pages long in the
LNCS style.

The workshop has no formal proceedings; copies of the contributions
will be available.

Program Chair
=============
* Marc Denecker, K.U.Leuven

Organizing Committee
====================
* Enrico Giunchiglia, University of Genova
* Victor Marek, University of Kentucky
* David Mitchell, Simon Fraser University
* Eugenia Ternovska Simon Fraser University
* Mirek Truzczynski, University of Kentucky
* Marc Denecker, K.U.Leuven

Program Committee
=================
* Peter Baumgartner, The Australian National University
* Francesco Calimeri, University of Calabria
* Koen Claessen, Chalmers University of Technology
* Thomas Eiter, Vienna University of Technology
* Wolfgang Faber, University of Calabria
* Pierre Flener, Uppsala University
* Alan Frisch, University of York
* Enrico Giunchiglia, University of Genova
* Daniel LeBerre, Universite d’Artois
* Fangzen Lin, Hong kong University of Science and Technology
* Ines Lynce, Universidade Tecnica de Lisboa
* Tony Mancini, Sapienza Universita di Roma
* Victor Marek, University of Kentucky
* David Mitchell, Simon Fraser University
* Pierre Marquis, Universite d’Artois
* Ilkka Niemela, Helsinki University of Technology
* Karem Sakallah, University of Michigan
* Torsten Schaub, University of Potsdam
* Barry O’Sullivan, University College Cork
* Eugenia Ternovska Simon Fraser University
* Mirek Truszcznski, University of Kentucky
* Pascal Van Hentenryck, Brown University
* Toby Walsh, University of New South Wales

Local organisation
====================
* Marc Denecker, K.U.Leuven
* Joost Vennekens, K.U.Leuven

Venue
======

The workshop will take place in the Beguinage of Leuven,
Belgium. Leuven is an old flemish town, hosting the oldest university
of the lower countries. The Beguinage is a medieval city in the city,
where the beguines lived together to form a religious community. The
Beguinage is recognized as a Unesco World Heritage site.

—-
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]

——— We apologise if you receive this email multiple times. ———

Dear Colleague,

We invite you to attend ICICS 2008 (the 10th International Conference on
Information and Communications Security). It will take place on 20th - 22nd
October, 2008 in Birmingham, UK. The event, which started in 1997, brings
together individuals involved in multiple disciplines of Information and
Communications Security, in order to foster the exchange of ideas. ICICS
2008 will be organised by the School of Computer Science, University of
Birmingham, in co-operation with HP Laboratories (Bristol, UK), the UK
Engineering and Physical Sciences Research Council (EPSRC), and the
International Communications and Information Security Association (ICISA).

The conference received 125 submissions, out of which the Program Committee
selected 27 papers for presentation at the conference. These papers are
included in the proceedings, which will be published by Springer-Verlag in
their Lecture Notes in Computer Science series, and will be available at the
conference. These papers cover a range of topics in mathematics, computer
science and security applications, including authentication, side channel
analysis, cryptanalysis, access control, software security, system security,
applied cryptography, and security protocols. Extended versions of selected
ICICS papers will be published as a special issue of the International
Journal of Information Security (IJIS).

In addition to the contributed papers, the conference program comprises
three invited talks as follows:

“Attestation: Evidence and Trust”
Joshua Guttman, MITRE Corporation, USA

Abstract. Attestation is the activity of making a claim about properties of
a target by supplying evidence to an appraiser. An open-ended framework for
attestation is desirable for safe support to sensitive or high-value
activities on heterogeneous networks. We identify five central principles to
guide development of attestation systems. We argue that (i) attestation must
be able to deliver temporally fresh evidence; (ii) comprehensive information
about the target should be accessible; (iii) the target, or its owner,
should be able to constrain disclosure of in- formation about the target;
(iv) attestation claims should have explicit semantics to allow decisions to
depend on several claims; and (v) the underlying attestation mechanism must
be trustworthy. We propose an architecture for attestation that is guided by
these principles, as well as an implementation that adheres to this
architecture. Virtualized platforms, which are increasingly well supported
on stock hardware, provide a natural basis for our attestation architecture.

“DoS-Resistant Broadcast Authentication in Wireless Sensor Networks”
Peng Ning, North Carolina State University, USA

Abstract: Recent technological advances have made it possible to develop
distributed sensor networks consisting of a large number of low-cost,
low-power, and multi-functional sensor nodes that communicate in short
distances through wireless links. Such sensor networks are ideal candidates
for a wide range of applications such as monitoring of critical
infrastructures and military operations. In hostile environments, the
security and resiliency of such sensor networks becomes a critical issue.
However, it is very challenging to build secure and resilient sensor
networks due to several unique features of sensor networks, such as the
resource constraints on sensor nodes and exposure to node captures and
physical attacks. In this talk, I will present some recent results on
mitigating Denial of Service (DoS) attacks against broadcast authentication
in wireless sensor networks, as well as secure and DoS-resistant code
dissemination, an application that requires broadcast authentication.

“Beyond the 80-bit Barrier”
Nigel Smart, University of Bristol, UK

Abstract: I will discuss the issue raised by moving cryptographic systems
from the 80-bit security level to the 128-bit security level and beyond.
Despite AES being around for around eight years the asymmetric algorithm key
sizes have not yet caught up. I will explain why RSA is no longer viable at
these security levels, and will explain some recent deployments of elliptic
curve cryptography.

The conference programme is available at
http://events.cs.bham.ac.uk/icics08/programme.php.

The registration information is available at
http://events.cs.bham.ac.uk/icics08/registration.php.

For detailed information, please visit the conference website at
http://events.cs.bham.ac.uk/icics08/index.php.

Best Regards,

Program Co-Chairs of ICICS 2008:
Liqun Chen, HP Laboratories, Bristol, UK.
Mark Ryan, University of Birmingham, UK.
Guilin Wang, University of Birmingham, UK.
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

Dear colleagues,

we extended the submission deadline for the German Workshop
“Algorithms and Tools for Petri Nets 2008″ in Rostock to August 22.

More information (in German) can be found under
http://wwwteo.informatik.uni-rostock.de/ls_tpp/awpn2008

Best regards

Niels Lohmann & Karsten Wolf
Organizers
—-
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]

Call for Papers: ISPEC 2009 (Apologies for multiple postings)

=======================================================
The 5th Information Security Practice and Experience Conference (ISPEC 2009)
13 - 15 April 2009, Xi?an, China
http://www.ispec2009.net/
=======================================================

As applications of information security technologies become pervasive,
issues pertaining to plicatiotheir deployment and operation are becoming
increasingly important. ISPEC is an annual conference that brings
together researchers and practitioners to provide a confluence of new
information security technologies, their applications and their
integration with IT systems in various vertical sectors. In 2005, 2006,
2007 and 2008, the first, second, third and fourth conferences were
successfully held in Singapore, Hangzhou, China, Hongkong, China and
Sydney, Australia respectively. The conference proceedings were
published by Springer as Lecture Notes in Computer Science. This fifth
conference ISPEC 2009 will be held in Xi?an, China, April 13-15, 2009.
Again, we plan to publish the conference proceedings in a volume of
Springer LNCS.

Topics (Topics of interest include, but are not limited to):
Applications of cryptography
Critical infrastructure protection
Digital rights management
Information security in vertical applications
Legal and regulatory issues
Network security
Privacy and anonymity
Privacy issues in the use of smart cards and RFID systems
Risk evaluation and security certification
Resilience and availability
Secure system architectures
Security in e-commerce and e-business and other applications
Security policy
Security standards activities
Trusted Computing
Trust model and management
Usability aspects of information security systems

Paper submission:
Submitted papers must be original, unpublished, and not submitted to
another conference or journal for consideration of publication. Papers
must be written in English and be fully anonymous with no author names,
affiliations, acknowledgements or obvious references. They should be at
most 12 pages (excluding bibliography and appendices), using at least
11-point fonts and with reasonable margins. Papers should be
sufficiently intelligible and self-contained without appendices so that
PC members can review papers without them. Submissions not meeting the
submission guidelines risk rejection without consideration of their
merits. Authors of accepted papers must guarantee that at least one of
the authors will register and attend the conference and present their
paper. Please refer to related instructions to be available at ISPEC
2009 website for the submission details.

Improtant dates :
Paper Submission deadline 20 Nov., 2008
Notification of Acceptance 10 Jan., 2009
Final Manuscript Due 1 Feb., 2009

General Chairs:
Jianfeng Ma, Xidian University, China
Robert H. Deng, Singapore Management University

Program Co-Chairs:
Hui Li, Xidian University, China
Feng Bao, I2R, Singapore

Publication Chair:
Guilin Wang, University of Birmingham, UK

_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

Dear colleague,

We need to start the classification of the papers to be included in the
ERCIM News number devoted to Safety Critical Software. Please, if you
plan to summit a paper, let me know the (provisional) title as soon as
possible. Having this information in a week would be perfect.

Best
Pedro

> ———————————————————————————————–
>
>
> Call for Contributions to ERCIM News No. 75 (October 2008)
> (also available at http://ercim-news.ercim.org/content/view/12/21/)
>
> Guidelines for articles below
>
> DEADLINE FOR CONTRIBUTIONS: Friday 22 August 2008
>
> Articles have to be sent to the local editor for your country (see
> http://ercim-news.ercim.org/content/view/7/16/)
> or to the central editor peter.kunz@ercim.org
>
> The sections of ERCIM News 75 are :
>
> * Joint ERCIM Actions
> * The European Scene
> * Special Theme: “Safety-Critical Software”
> * R&D and Technology Transfer
> * Events
> * In Brief
>
> ERCIM News 75 Special Theme: “Safety-Critical Software”
>
> Coordinated by:
>
> * Pedro Merino, University of Málaga
> * Erwin Schoitsch, Austrian Research Centers
>
> Software has become a vital and integral part of most systems today.
> When a system can lead to injury, death, the destruction or loss of
> vital equipment, or damage to the environment, software safety is
> paramount. This special theme aims to provide an overview on the
> discipline of safety-critical software, its production (from user
> requirements to integration and deployment, validation and
> verification), its maintenance and enhancement throughout the system
> life cycle, and applications.
>
> This includes, as high-lightened by the ISO/IEC Functional Safety
> Standards, system aspects, especially consideration of safety and
> security aspects during hazard and risk analyses, and operations as well.
>
> This ERCIM News special theme invites short articles on research and
> applications of “Safety-Critical Software”. Topics include:
>
> * requirements, design, specification, code generation and testing
> based on formal methods as well as on other methods
> * model based approaches and architectural concepts, especially
> suited for hard-real time, safety related or safety critical systems,
> with predictable behaviour - Verification and validation of complex,
> distributed, real-time systems and embedded systems
> * verification and validation methods that address shortcomings of
> existing methods with respect to their industrial applicability (e.g.,
> scalability and usability issues, test case generation)
> * tools for the development of formal design descriptions
> * case studies and experience reports on industrial applications of
> formal methods, focusing on lessons learned or identification of new
> research directions
> * industrial applications of critical software in general from
> different domains, including domain-specific aspects and high-lights,
> e.g. from the sector
> o automotive
> railways
> o aerospace
> o industrial control (manufacturing, process industries)
> o (nuclear) power plants
> o critical infrastructures
> o medical devices, health care systems, human care
> o specialized technical systems with safety-related or
> critical aspects (agriculture, off-road, building and construction)
> * Impact of the adoption of formal methods on the development
> process and associated costs
> * application of formal methods in standardization and industrial
> forums
> * standards and certification aspects, including cost and social
> aspects
> * European research in the area of highly dependable systems and
> software
> * Technology Platforms and their research agendas, joint
> undertakings etc.
>
>
> ** Guidelines for ERCIM News articles **
>
> Style: ERCIM News is read by a large variety of people. Keeping this
> in mind the article should be descriptive (emphasize more the ‘what’
> than the ‘how’) without too much technical detail together with an
> illustration, if possible.
>
> Length: Keep the article short, i.e. 700-800 words.
>
> Format: Submissions preferably in ASCII text or MS Word,
> Pictures/Illustrations must be submitted as separate files (not
> embedded in a MS Word file)
>
> Structure of the article:
> The emphasis in ERCIM News is on ‘NEWS’. This should be reflected in
> both title and lead (’teaser’).
> Also: NO REVIEW ARTICLES!
>
> * Title
> * Author (full name, max. two or three authors)
> * Teaser:
> a few words about the project/topic. Printed in bold face, this
> part is intended to raise interest. (keep it short)
> * Details describing:
> what the project/product is
> who is involved
> where it takes place
> why the research is being done
> when it was started/completed the aim of the project
> the techniques employed
> the orientation of the project
> future activities
> other institutes involved in this project
> co-operation with other ERCIM members in this field
> * Useful Link(s) (only URIs, no references!)
> * Contact address with:
> - full name of the author
> - phone number
> - e-mail address
> * Additional items:
> an illustration (photos, graphics), for example of the product,
> applications mentioned in the article, people working on the project,
> etc. (avoid as much as possible flow charts and screen dumps).
>
> Publishing in ERCIM News offers several advantages:
>
> * ERCIM News represents an excellent opportunity to present your
> research to a broad audience, also outside your own research community
> o the printed edition has a circulation of 10,500 copies
> o the online edition has excellent visibility with a Google
> ranking of PR9
> * ERCIM News is widely distributed in the European Commission
> * ERCIM offers a free professional proof-reading service
> * Authors can reuse their articles; the copyright of the articles
> remains with the authors.
>
>
>
>
>

_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

–===============0112040011==
Content-Type: multipart/alternative;
boundary=”–=_vm_0011_W6397513478_15802_1218264045″

—-=_vm_0011_W6397513478_15802_1218264045
Content-Type: text/plain; charset=”utf-8″
Content-Transfer-Encoding: quoted-printable

Dear Colleague,
please find enclosed the MESM’2008, Philadelphia University, Amman, Jorda=
n-
August 26-28, 2008 preliminary programme.
More info about the event can be found on:
MESM’2008
Regards
Philippe
Preliminary ProgrammeSession TimingAugust 26, 2008
09.00-17.00 Registration
09.15-09.30 Welcome
09.30-10.30 Session I
10.30-11.00 Coffee Break
11.00-11.30 Introductory Speaker
11.30-12.30 Session II
12.30-14.00 Lunch
14.00-15.00 Session II
15.00-15.30 Coffee Break
15.30-18.00 Session III
18.00-18.30 Get-Together-Party
August 27, 2008
08.30-16.00 Registration
09.00-10.00 Keynote Speaker
10.00-10.30 Coffee Break
10.30-12.30 Session IV
12.30-14.00 Lunch
14.00-15.00 Tutorial
15.00-15.30 Coffee Break
15.30-18.00 Session V
18.00-18.15 Closing Session and Best Paper Award
20.00-23.00 Conference Dinner
August 28, 2008
08.30-09.00 Departure for Petra
Return late afternoon
Welcome by=20
Professor Marwan Al-AkaidiIntroductory Speaker
His Royal Highness

Prince Hassan of Jordan
Keynote SpeakerComplex systems, emergent computing and applications to en=
gineering
Cyrille Bertelle, Universite du Havre, Le Havre, France
Invited SpeakerNumerical Simulations of Transient Flows in Shock Tube and=
Valdiations with experimental Measurements
M. Z. Yusoff, A. Al-Falahi, N. H. Shuaib and T. Yusaf, Universiti Tenaga =
Nasional (UNITEN), Selangor, Malaysia
TutorialDynamic combinatorics, complex systems and applications to physic=
s
G=C3=A9rard H.E. Duchamp, LIPN, Paris 13 University, France
SIMULATION PROGRAMMING AND TOOLSMESM_09_METH
Optimistic parallel Process-Oriented design in Java using Bytecode Rewrit=
ing
Andreas Kunert, Humboldt-Universitat zu Berlin, Berlin, Germany
MESM_14_METH
Analysis of a Linear Induction Motor by the Method of Coupling Matlab/Sim=
ulink and Vector Control
Sameer Khader, Palestine Polytechnic University, Hebron- West Bank, Pales=
tine
MESM_17_METH
An Evaluation of MPLS Efficacy using Colored Petri Net Models
Dmitry Zaitsev, Odessa National Telecommunication Academy and Aleksey Sak=
un, Matrix Corporation, Odessa, Ukraine
MESM_21_METH
Computing of the Volterra Kernels of a Nonlinear System Using Impulse Res=
ponse Data
Vitaliy D. Pavlenko and Mohannad Massri, Odessa National Polytechnical Un=
iversity, Odessa, Ukraine
SIMULATION AND AIMESM_03_ENERG
Parameter identification in heat transfer problems: comparison of a genet=
ic algorithm and particle swarm optimization
Y. Cavallin, J.D.Lan Suk, R.Lorion, M.Bessafi and J.P.Chabriat, Universit=
=C3=A9 de La R=C3=A9union, Saint Denis, France
MESM_25_AI
Toward Optimal Arabic Keyboard Layout using Genetic Algorithm
Tareq M. Malas, Sinan Taifour, and Gheith A. Abandah, The University of J=
ordan, Amman, Jordan
MESM_12_FUZ
Computer-Generated Music using grammatical Evolution
Abdel Latif Abu Dalhoum, University of Jordan, Amman, Jordan, ManuelAlfon=
seca, Manuel Cebrian and Alfonso Ortega, Universidad Autonoma deMadrid an=
d Rafael Sanchez-Alfonso, Neoris, Madrid, Spain
PATTERN RECOGNITION SIMULATIONMESM_01_TEL
GSM Based System for the Identification of Distressed Pilgrims
Fawzi M Al-Naima, University of Engineering and Technology, Taxila, Pakis=
tan
MESM_27_TEL
Perceptual Modelling of Wavelet Coefficients for Grey Scale Images
G. Al-Hudhud, Al-Ahliya Amman University, Jordan
DECISION MAKINGMESM_10_DEC
Modeling Prices in Computational Resource Markets
R. Arfa and J. Broeckhove, University of Antwerp, Antwerp, Belgium
MESM_16_DEC
New Version of Decision Support System for evaluating Takeover Bids in Pr=
ivatization of the Public Enterprises and Services
Silvija Vlah, Kristina Soric and Visnja Vojvodic Rosenzweig, University o=
f Zagreb, Zagreb, Croatia
MESM_22_DEC
Simulation of Market-based Resource Management in Dynamic Grids
K. Abdelkader, and J. Broeckhove, University of Antwerp, Antwerp, Belgium
MESM_08_CHEM
Optimization for Petrochemical Decision Making using Sustainability Indic=
ators
A. Almanssoor, G. Al-Sharrah and A. Elkamel, University of Waterloo,Water=
loo, Ontario, Canada and Kuwait University, Safat, Kuwait
MESM_11_DEC
Cache Replacement Policy Based on Fuzzy Decision System
Ali A. Al-Titinchi, Applied Science University, Amman and Munaf S. N. Al-=
Din, Tafila Technical University, Tafila, Jordan
MESM_15_FUZ
Using Dynamic Data Mining in Association Rule Mining
Kifaya Qaddoum, Philadelphia University, Amman, Jordan
TELECOMMUNICATIONS SYSTEMSMESM_05_TEL
Enhancement of an Optical Gigabit Ethernet Performance
Salah A. Jaro Alabady, Faculty Computer Eng. Dept., Mosul University, Ira=
q
MESM_25_TEL
QoS Enhancement of Voice over Internet Protocol Based On Neural Network M=
odel
Khaldoon Ghaidan, University of Jerash, Jerash, Jordan
SIMULATION IN ELECTRONICSMESM_06_TEL
Frequency Domain Iterative Compensation of High Power Amplifier Non-linea=
rity
Saqib Ali and Garik Markarian, Lancaster University, Lancaster andMarwan =
Al-Akaidi, De Montfort University, Leicester, United Kingdom
MESM_13_TEL_FUZ
An Optimized reversible BCD adder/Subtractor Circuit for Nanotechnology B=
ased Digital Systems
Majid Mohammadi and Mohammad Eshghi, University of Shahid Behesti,Tehran =
and Abbas Bahrololoum, University of Shahid Bahonar, Kerman, Iran
MESM_07_TEL
Unequal error protection using LT codes and block duplication
Shakeel Ahmad, University of Konstanz,Konstanz, Germany and RaoufHamzaoui=
and Marwan Al-Akaidi, De Montfort University, Leicester,United Kingdom
MEDICAL SIMULATIONMESM_04_ENG
Modelling of the Biodynamic Responses to Whole Body Vertical Excitation
Naser Nawayseh, Dhofar University, Salalah, Oman
MESM_20_BIO
Diagnostic and Prognostic of Mitral Valve Stenosis By Backpropagation Neu=
ral Networks and Dian Nawlan Model=20
Muzhir Shaban Al-Ani, Amman Arab University and Inaam A.M.Al-Sadik andGhe=
ida=E2=80=99a K. Al. Khafajy, University of Technology, Amman, Jordan=20
VIRTUAL ENVIRONMENTSMESM_29_VR
Accelerating Lean Practice Training using Virtual Reality
Riham Khalil, Nathan Wright and David Stockton, De Montfort University,Le=
icester and Cliff Gillis, Perkins Engines Company Limited,Peterborough, U=
nited Kingdom
MESM-28_VR
Modelling Multi-Agent Communication protocols in Virtual Environment to d=
irect Numerical Analysis
G. Al-Hudhud, Al-Ahliya Amman University, Jordan
MESM_26_AI
Urban Dynamics Modelling using Ant nest Building
Rawan Ghnemat and Cyrille Bertelle, LITIS - University of Le Havre, LeHav=
re and Gerard H.E. Duchamp, LIPN - University of Paris XIII,Villetaneuse,=
France

—-=_vm_0011_W6397513478_15802_1218264045
Content-Type: text/html; charset=”utf-8″
Content-Transfer-Encoding: quoted-printable