Computer programming / software engineering

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.

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001.

One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers.

After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery.

This book constitutes the joint refereed proceedings of the 8th International Workshop on Structural and Syntactic Pattern Recognition and the 3rd International Workshop on Statistical Techniques in Pattern Recognition, SSPR 2000 and SPR 2000, held in Alicante, Spain in August/September 2000.

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design.