This book constitutes the refereed proceedings of the Second International Conference on Web-Age Information Management, WAIM 2001, held in Xi'an, China, in July 2001.
Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing.
The fifth international Conference in Medical Image Computing and Computer Assisted Intervention (MICCAI 2002) was held in Tokyo from September 25th to 28th, 2002.
As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties.
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
Cooperation among systems has gained substantial importance in recent years: electronic commerce virtual enterprises and the middleware paradigm are just some examples in this area.
Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.
The 6th International Conference on Medical Imaging and Computer-Assisted Intervention,MICCAI2003,washeldinMontr' eal,Qu' ebec,CanadaattheF- rmont Queen Elizabeth Hotel during November 15-18, 2003.
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.
The workshop on an Infrastructure for Mobile and Wireless Systems was held in Scottsdale, Arizona on October 15, 2001 and was funded by the National Science Foundation (NSF) and sponsored by the Telecommunications and Information Technology Institute of the College of Engineering at Florida International U- versity (FIU), to establish a common infrastructure for the discipline of mobile and wireless networking, and to serve its rapidly emerging mobile and wireless community of researchers and practitioners.
This book constitutes the thoroughly refereed post-proceedings of the Web- and Database-Related Workshops held during the NetObjectDays international conference NODe 2002, in Erfurt, Germany, in October 2002.
On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4-6, 2004.
Crypto 2004, the 24th 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.
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland.
As the business environment has become more and more turbulent over the past decade, information technology has begun to run into the danger of becoming an impediment rather than a motor of progress.
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications.