Computer programming / software engineering

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.

Computational Science is the scienti?

Autonomous agents have become a vibrant research and development topic in recent years attracting activity and attention from various areas.

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets.

This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002.

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.

This book presents refereed and revised papers presented at GREC 2001, the 4th IAPR International Workshop on Graphics Recognition, which took place in Kingston, Ontario, Canada in September 2001.

This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2002) held at Penn State Great Valley, Malvern, Pennsylvania, U.

We are pleased to present the proceedings of the Second Workshop on Al- rithms in Bioinformatics (WABI 2002), which took place on September 17-21, 2002 in Rome, Italy.

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 constitutes the thoroughly refereed post-proceedings of the International Conference on Information Networking, ICOIN 2003, held at Cheju Island, Korea in February 2003.

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.

The size, complexity, and integration level of software systems is increasing c- stantly.

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.

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 joint post-proceedings of the VLDB 2002 Workshop on Efficiency and Effectiveness of XML Tools and Techniques, EEXTT and the CAiSE 2002 Workshop on Data Integration over the Web, DIWeb.

 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.