Computer programming / software engineering

th This volume contains the papers presented at the 9 Information Security Conference (ISC 2006) held on Samos Island, Greece, during August 30 - September 2, 2006.

CAiSE 2008wasthe20thinthe seriesofInternationalConferencesonAdvanced Information System Engineering.

The Annual International Frontiers in Algorithmics Workshop is a focused - rum on current trends in research on algorithms, discrete structures, and their applications.

The RSA Conference, with over 15,000 attendees and 300 exhibitors, is the largest computer security event of the year.

The Third International Workshop on OpenMP, IWOMP 2007, was held at Beijing,China.

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.

Developing software for current and especially for future architectures will require knowledge about parallel programming techniques of applications and library p- grammers.

Information technology is a rapidly changing field in which researchers and developers must continuously set their vision on the next generation of technologies and the systems that they enable.

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

The 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE 2008) held in Wroclaw, Poland was an international scientific forum for researchers in the field of applied artificial intelligence.

This volume contains the proceeding of the 5th International Conference on - age and Video Retrieval (CIVR), July 13-15, 2006, Arizona State University, Tempe, AZ, USA: http://www.

The International Symposium on Smart Graphics 2006 was held during July 23-25, 2006, at the University of British Columbia in Vancouver, Canada.

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan con in the east of France.

Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography.

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.

This book constitutes the thoroughly refereed joint post-workshop proceedings of two co-located events: the Second International Workshop on Classification of Events, Activities and Relationships, CLEAR 2007, and the 5th Rich Transcription 2007 Meeting Recognition evaluation, RT 2007, held in succession in Baltimore, MD, USA, in May 2007.

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 - 21, 2006.

The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology.

Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?

The conference of the 1st IEEE Paci?

The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20-23, 2008.