Computer science

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.

This volume presents the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns (CAIP 2005).

We present in this volume the collection of ?

Six parallel Business Process Management workshops were held on September 5th, 2005, in conjunction with the Third International Conference on Business Process Management (BPM 2005) in Nancy, France.

The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, simulation and optimization software, engineering databases, and knowledge-based systems.

Motionanalysisisacentralproblemincomputervision,andthepasttwodecades have seen important advances in this ?

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE).

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed.

The papers in this volume were presented at the workshop "e;Topic Map Research and Applications 2005"e; held on October 6-7, 2005, in Leipzig.

The lives of people all around the world, especially in industrialized nations, continue to be changed by the presence and growth of the Internet.

The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the Polish-Japanese Institute of Information Technology in Warsaw aimed to explore the current research topics in the ?

This proceedings volume collects the scienti?

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub * eck, Germany, September 8-10, 2004.

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19- 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan.

Visual notations and languages continue to play a pivotal role in the design of complex software systems.

The beginning of the twenty-first century is characterized by global markets, and the mobility of people is becoming an important fact of life.

ISRR, the "e;International Symposium on Robotics Research"e;, is one of robotics' pioneering symposia, which has established some of the field's most fundamental and lasting contributions over the past two decades.

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, competences and services thanks to the generalization ofdatabasesandcommunication networks.

The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, College Park.

Volume IV of the Transactions on Rough Sets (TRS) introduces a number of new advances in the theory and application of rough sets.

Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision.

Asia Information Retrieval Symposium (AIRS) was established in 2004 by the Asian information retrieval community after the successful series of Information Retrieval with Asian Languages (IRAL) workshops held in six different locations in Asia, starting from 1996.

Dear delegates,friendsand membersofthe growingKES professionalcommunity,w- come to the proceedings of the 9th International Conference on Knowledge-Based and IntelligentInformationandEngineeringSystemshostedbyLa TrobeUniversityin M- bourne Australia.

Welcome to the proceedings of the Power-Aware Computer Systems (PACS 2004) workshop held in conjunction with the 37th Annual International Sym- sium on Microarchitecture (MICRO-37).

In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005).

As software systems become ubiquitous, the issues of dependability become more and more crucial.