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.
The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, development, and use of object oriented infor- tionsystems,fromboththeacademicandindustrialenvironments,arepresented.
The theme of the 4th International Workshop on Learning Software Organizations (LSO 2002) was "e;BalancingAgile Processes and Long-Term Learning in Software - ganizations.
FIDJI 2002 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted application development.
Middleware systems compriseprogrammingmodels, abstractions,protocols,and services to facilitate the design, the development, the integration, and the - ployment of distributed applications in heterogeneous computing environments.
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004.
As information handling systems get more and more complex, it becomes increasingly difficult to manage them using traditional approaches based on centralized and pre-defined control mechanisms.
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013.
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.
CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?
This Festschrift, published in honor of Bernhard Thalheim on the occasion of his 60th birthday presents 20 articles by colleagues from all over the world with whom Bernhard Thalheim had cooperation in various respects; also included is a scientific biography contributed by the volume editors.
Today, technologies for engineering and deployment of cooperative information systems have become increasingly critical in the construction of practically all types of large-scale distributed systems.
Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader.
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?
Thesetransactions publish research in computer-based methods of computationalcollective intelligence (CCI) and their applications in a wide range of fieldssuch as the semantic Web, social networks, and multi-agent systems.
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998.
This book constitutes the refereed proceedings of the 4th International Workshop on Distributed Computing, IWDC 2002, held in Calcutta, India, in December 2002.
On behalf of the PROFES organizing committee we would like to welcome you to the 4th International Conference on Product Focused Software Process Impro- ment (PROFES 2002) in Rovaniemi, Finland.
It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?
This book constitutes the refereed proceedings of the three confederated conferences CoopIS 2002, DOA 2002, and ODBASE 2002, held in Irvine, CA, USA, in October/November 2002.
The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 - October 1, 2004.