Expert systems / knowledge-based systems

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

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

Heterogeneous object modelling is a new and quickly developing research area.

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.

Welcome to the Second International Conference on Mobile Data Management (MDM2001).

Robotic agents, such as autonomous office couriers or robot tourguides, must be both reliable and efficient.

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc.

Papers were invited based on their quality, relevance and significance, and the - ability of extending their results.

The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18-20,2003.

This volume contains the papers presented at the 11th SDL Forum, Stuttgart.

 This book constitutes the refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.

The papers collected here are those selected for presentation at the Second International Symposium on Handheld and Ubiquitous Computing 2000 (HUC 2000) held in Bristol, UK in September 2000.

The need for flexibility and globalization forces enterprises to decentralize their activities and continuously (re)structure their networks of relationships regarding both their productive "e;supply chains"e; and their design and innovation processes.

For many years Leonard Bolc has played an important role in the Polish computer science community.

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.

The European Commission emphasizes, in its Fifth Research Framework, the "e;.

Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Information Hiding Workshop, IHW 2001, held in Pittsburgh, PA, USA, in April 2001.

Modern civilization relies on a functioning information infrastructure.

This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?

Physicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli.

UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies.

Welcome to the proceedings of the 2004 International Conference on Embedded and Ubiquitous Computing (EUC 2004) which was held in Aizu-Wakamatsu City, Japan, 25-27 August 2004.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979.

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000.

 This book constitutes the refereed proceedings of the joint International Conference on Artificial Neural Networks and International Conference on Neural Information Processing, ICANN/ICONIP 2003, held in Istanbul, Turkey, in June 2003.

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003.

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling.

A central theme in the study of dynamic systems is the modelling and control of uncertain systems.

nd Welcome to the proceedings of PERVASIVE 2004, the 2 International C- ference on Pervasive Computing and the premier forum for the presentation and appraisal of the most recent and most advanced research results in all - undational and applied areas of pervasive and ubiquitous computing.

This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 31 - November 2, 2025.

This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 31 - November 2, 2025.