Computer programming / software engineering

Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Principles of Digital Document Processing, PODDP'98, held in Saint Malo, France, in March 1998.

ASIACRYPT'98, the international conference covering all aspects of theory and application of cryptology and information security, is being held at Beijing Friendship Hotel from October 18 to 22.

ETAPS'99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software.

This book constitutes the refereed proceedings of the Third International Conference on Visual Information Systems, VISUAL'99, held in Amsterdam, The Netherlands, in June 1999.

Java, undoubtedly, has its roots in embedded systems and the Web.

Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics.

In the first part, this book analyzes the knowledge discovery process in order to understand the relations between knowledge discovery steps and focusing.

This volume constitutes the refereed proceedings of the Second International Conference on Scale-Space Theories in Computer Vision, Scale-Space'99, held in Corfu, Greece, in September 1999.

For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE).

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist.

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.

For the ?

Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems.

For the ?

This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001.

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.

ETAPS 2002 was the ?

ETAPS2002wasthe?

ETAPS 2002 was the ?

This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own.

Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6-7, 2001.

High communication efforts and poor problem solving results due to restricted overview are two central issues in collaborative problem solving.

This book constitutes the refereed proceedings of the 9th European PVM/MPI Users'Group Meeting held in Linz, Austria in September/October 2002.

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.

This book constitutes the refereed proceedings of the 4th International Workshop on Visual Form, IWVF-4, held in Capri, Italy, in May 2001.

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.

This book constitutes the refereed proceedings of the 6th IEEE International Conference on High Speed Networking and Multimedia Communication, HSNMC 2003, held in Estoril, Portugal in July 2003.

The objective of the workshops held in conjunction with ER 2002, the 21st International Conference on Conceptual Modeling, was to give participants the opportunitytopresentanddiscussemerginghottopics,thusaddingnewpersp- tives to conceptual modeling.

USM 2000 is the third event in a series of international IFIP/GI conferences on Trends in Distributed Systems.

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003.

For quite some time, in systems and software design, security only came as a second thought or even as a nice-to-have add-on.

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time.

Constraints provide a declarative way of representing infinite sets of data.

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.