Computer science

This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001.

This book constitutes the refereed proceedings of the 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Export Systems, IEA/AIE 2001, held in Budapest, Hungary in June 2001.

This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001.

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001.

Crypto 2003, the 23rd Annual Crypto Conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara.

Ten years ago, the inaugural European Conference on Computer Vision was held in Antibes, France.

Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications.

This book contains the papers presented at the 13th International Workshop on Field Programmable Logic and Applications (FPL) held on September 1-3, 2003.

This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16-18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA.

Human performance in visual perception by far exceeds the performance of contemporary computer vision systems.

Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21-23, 2002.

Business processes are among today's hottest topics in the science and practice of information systems.

This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop.

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?

th DEXA 2001, the 12 International Conference on Database and Expert Systems Applications was held on September 3-5, 2001, at the Technical University of Munich, Germany.

Cognitive Technology: Instruments of Mind Cognitive Technology is the study of the impact of technology on human cog- tion, the externalization of technology from the human mind, and the pragmatics of tools.

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning.

Computerscientistscreatemodelsofaperceivedreality.

This volume is the proceedings of the 13th International Conference on Theo- rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA.

This book constitutes the refereed proceedings of the 8th International Conference on Database Theory, ICDT 2001, held in London, UK, in January 2001.

Welcome to the Second International Conference on Mobile Data Management (MDM2001).

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4-6, 2003.

Robotic agents, such as autonomous office couriers or robot tourguides, must be both reliable and efficient.

This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2002, held in Singapore, in December 2002.

 This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.

 This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Information Security and Cryptology, ICISC 2002, held in Seoul, Korea in November 2002.

The biennial Brazilian Symposium on Arti?

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc.

Still today, turbulence in fluids is considered as one of the most difficult problems of modern physics.

Grid generation codes represent an indispensable tool for solving field prob- lems in nearly all areas of applied mathematics.

It is becoming quite clear that there will be important technological advances in - bile and wireless connectivity, known as third-/fourth-generation (3G and 4G) mobile telecommunications systems.

This proceedings contains the papers presented at the 2004 IFIP International Conference on Network and Parallel Computing (NPC 2004), held at Wuhan, China, from October 18 to 20, 2004.

We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Information and Engineering Systems at Wellington - stitute of Technology in Wellington, New Zealand.