Operating systems

This book constitutes the refereed proceedings of the 16th Australasian Conference on Information Security and Privacy, ACISP 2011, held in Melbourne, Australia, in July 2011.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010.

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Security Protocols, SP 2008, held in Cambridge, UK, in April 2008.

This book constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011.

This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.

This book constitutes the refereed proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, held in Nancy, France, in June 2011.

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.

This book constitutes the reviewed post-proceedings of the 5th International ICST Conference on Access Networks, AccessNets 2010, and of the satellite event , the First International ICST Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, held jointly in Budapest, Hungary in November 2010.

This book constitutes the refereed proceedings of the 24th International Conference on Architecture of Computing Systems, ARCS 2011, held in Lake Como, Italy, in February 2011.

The 7 revised full papers, 11 revised medium-length papers, 6 revised short, and 7 demo papers presented together with 10 poster/abstract papers describing late-breaking work were carefully reviewed and selected from numerous submissions.

All modern industries rely on large and complex software systems.

Over the last decade, we have witnessed a growing dependency on information technologyresultingina wide rangeofnew opportunities.

The book constitutes the refereed proceedings of the 6th International Conference on Distributed Computing in Sensor Systems, DCOSS 2010, held in Santa Barbara, CA, USA, in June 2010.

This edition marks the tenth Middleware conference.

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others.

At the School of Information Technology, KMUTT, we believe that information te- nology is the most important driver of economy and social development.

All modern industries rely on large and complex software systems.

The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular conference paper s- sions, tutorials, keynotes, and a PhD student workshop into a highly interactive event.

The Fourth International Workshop on Security (IWSEC 2009) was held at Toyama International Conference Center, Toyama, Japan, October 28-30, 2009.

Euro-Par is an annual series of international conferences dedicated to the p- motion and the advancement of all aspects of parallel computing.

th Welcome to the proceedings of the 8 International Conference on Pervasive Computing (Pervasive 2010).

This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009.

This book constitutes the refereed proceedings of the Third International Workshop on Security, IWSEC 2008, held in Kagawa, Japan, in November 2008.

This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.

This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Provenance and Annotation Workshop, IPAW 2008, held in Salt Lake City, UT, USA, in June 2007.

This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvia, Mallorca, Spain, in September 2008.

This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008.

Information and communication technologies are advancing fast.

Design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple sophisticated commercial and non-commercial engine- ing tools such as CAD tools, modeling, simulation and optimization software, en- neering databases, and knowledge-based systems.

This volume contains the proceedings of the International Middleware Con- rence, held in Leuven, Belgium during December 1-4, 2008.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.

The Workshop on Self-sustaining Systems (S3) is a forum for the discussion of topics relating to computer systems and languages that are able to bootstrap, implement, modify, and maintain themselves.

The 10th Information Security Conference (ISC 2007) was held in Valpara' ?

A foreword for the present workshop proceedings cannot be provided without first looking at the larger context of the AMI conference in which the workshops were organized.