Computer programming / software engineering

The ?

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology.

The name "e;SPIN"e; refers both to a workshopon model checking and to a famous model checking tool.

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

"e;Intelligent systems are those which produce intelligent o?

TheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series of Information - trieval with Asian Languages (IRAL) workshops held in six di?

Machine learning and cybernetics play an important role in many modern electronic, computer and communications systems.

Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology.

This book is a post-conference publication and contains a selection of papers presented at the VLBV workshop in 2005, which was held in Sardinia, Italy, on September 15-16.

The 9th International Conference on Theory and Practice of Public-Key Cr- tography(PKC 2006) took place in New York City.

This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), held April 19-21, 2006 in York, UK.

This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2005, held in Sao Leopoldo, Brazil in July 2005.

1 "e;Change is inevitable.

Testing often accounts for more than 50% of the required e?

TEAA 2005 (Trends in Enterprise Application Architecture) took place as a workshop of the conference VLDB 2005 (31st International Conference on Very Large Databases) in August 2005 in Trondheim, Norway.

The series of International Conferences on Extending Database Technology (EDBT) is an established and prestigious forum for the exchange of the latest research results in data management.

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development.

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo.

We are happy to present to you the proceedings of the 3rd International Workshop on Digital Watermarking, IWDW 2004.

The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004.

The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems.

Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P.

This book contains the Proceedings of the 5th Workshop on OpenMP Appli- tionsandTools(WOMPAT2004),whichtookplaceattheUniversityofHouston, Houston, Texas on May 17 and 18, 2004.

Technological progress is one of the driving forces behind the dramatic devel- mentofcomputersystemarchitecturesoverthe pastthreedecades.

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.

The RSA R Conference, with over 15,000attendees, as well as over 225 sponsors and exhibitors, is the largest computer security event of the year.