Software Engineering

Recent years have witnessed the appearance of new paradigms for designing distributed applications where the application components can be relocated - namically across the hosts of the network.

The PaCT-2003 (Parallel Computing Technologies) conference was a four-day conference held in Nizhni Novgorod on September 15-19, 2003.

CAiSE 2000 was the 12th in the series of International Conferences on Advanced Information Systems Engineering.

This book contains the proceedings of the Workshop on OpenMP Applications and Tools, WOMPAT 2003.

Policy based systems are the subject of a wide range of activities in univer- ties, standardisation bodies, and within industry.

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000.

This volume contains the proceedings of the First International Conference on Advances in Information Systems (ADVIS) held in Izmir (Turkey), 25{27 October, 2000.

This book constitutes the refereed proceedings of the IFIP-TC6 Eighth - ternational Conference on Personal Wireless Communications, PWC 2003.

Welcome to the proceedings of the 2003 International Symposium on Parallel and Distributed Processing and Applications (ISPA 2003) which was held in Aizu-Wakamatsu City, Japan, July 2-4, 2003.

This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS).

Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users.

Welcome to the proceedings of GCC2004 and the city of Wuhan.

Grid and cooperative computing has emerged as a new frontier of information tech- logy.

The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14-18, 2004.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.

The 5th edition of the VECPAR series of conferences marked a change of the conference title.

This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.

Die Herausforderungen, denen sich Projektleiter, Fuhrungskrafte und andere Verantwortliche in Softwareprojekten tagtaglich stellen, sind vielfaltig.

This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.

In this monograph, Joachim Baumann provides in-depth coverage of essential research issues; namely, mechanisms for locating and terminating mobile agents and for orphan detection in a mobile agent system.

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday.

The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering.

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends.

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and peer-to-peer and streaming systems.

Thetopicof"e;Model-BasedEngineeringofReal-TimeEmbeddedSystems"e;brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering).

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?

Software defects lead to enormous costs for the software industry and society as a whole.

work for small problems, but it introduces signi?

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers.

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This book gives a comprehensive account of Maude, a language and system based on rewriting logic.

"e;The-computer-as-we-know-it"e; will have no role in our future everyday lives.

This book constitutes the strictly reviewed post-workshop documentation of the First International Conference on Cooperative Multimodal Communication held in Eindhoven, The Netherlands, in 1995.