The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012).
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments.
Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraicstructures, strategies, computational paradigms, and so on.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "e;Games, actions and Social software"e; which was carried out at the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS) in Wassenaar, from September 2006 through January 2007.
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IIThese 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.
I wish to welcome all of you to the International Symposium on High Perf- mance Computing 2002 (ISHPC2002) and to Kansai Science City, which is not farfromtheancientcapitalsofJapan:NaraandKyoto.
This volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in Vienna, Austria, September 24-26, 2003.
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.
"e;Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products.
The International Conference on Computational Science (ICCS 2004) held in Krak' ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St.
In the short space of about a decade, Commercial-Off-the-Shelf (COTS) software has evolved through being a relatively minor aspect of software development; a t- management-endorsedsilverbulletsolutionforsoftwaredevelopment;adisruptivete- nology requiring people and organizations to extensively rethink their approaches to software development; to an increasingly well-understood software phenomenon for which effective solutions are being developed.
Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains.
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, R'eunion Island, France.
This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001).
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.
Modern database systems enhance the capabilities of traditional database systems by their ability to handle any kind of data, including text, image, audio, and video.
The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities.
