Computer science

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

Advanced computational methods are often employed for the solution of modelling and decision-making problems.

Soft Computing is a complex of methodologies that embraces approximate reasoning, imprecision, uncertainty and partial truth in order to mimic the remarkable human capability of making decisions in real-life, ambiguous environments.

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12-14, 2006.

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.

Web-based learning has attracted ongoing attention for its rapid development in recent years.

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.

This volume contains the papers selected for presentation at the 17th Inter- tional Symposium on Methodologies for Intelligent Systems (ISMIS 2008), held in York University, Toronto, Canada, May 21-23, 2008.

ThePaci?

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Parallel Processing and Applied Mathematics, PPAM 2007, held in Gdansk, Poland, in September 2007.

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006.

The 2006 edition of the Eurocrypt conference was held in St.

The book constitutes the refereed proceedings of the Second International Conference on Distributed Computing in Sensor Systems, DCOSS 2006, held in San Francisco, California, USA in June 2006.