Computer programming / software engineering

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

ASIACRYPT 2000 was the sixth annual ASIACRYPT conference.

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).

Machine Learning has become a key enabling technology for many engineering applications and theoretical problems alike.

Object detection and recognition is a topic of significant interest in computer and robot vision.

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.

The message passing paradigm is the most frequently used approach to develop high-performancecomputing applications on paralleland distributed computing architectures.

This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004).

"e;We know more than we can tell and we can know nothing without relying upon those things which we may not be able to tell"e; (Michael Polanyi) The importance of knowledge management (KM) is increasingly recognized in the public sector and in relation with e-government implementations.

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.

In der agilen Welt bedient man sich gerne der uralten Tradition des Geschichtenerzahlens, um Wissen zu vermitteln und Inhalte erlebbar zu machen.

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.

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields.

The paper is organized as follows: In section 2, we describe the no- orientation-discontinuity interfering model based on a Gaussian stochastic model in analyzing the properties of the interfering strokes.

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.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held in Valbonne-Sophia Antipolis, France in October 2002.