The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b- den of working out suitable tools for solving complex problems.
FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment.
The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public.
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011.
Peer-to-peer (P2P) computing is currently attracting enormous public attention, spurred by the popularity of file-sharing systems such as Napster, Gnutella, and Morpheus.
This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbrucken, Germany in September 2000.
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.
The increasing complexity of manufacturing systems as well as the overall demands for flexible and fault-tolerant control of production processes stimulates (among many others) two key emerging technologies that are already making an important breakthrough in the field of intelligent manufacturing, control, and diagnostics.
This book constitutes the refereed proceedings of the 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001.
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Open Hypermedia Systems, OHS-6, and the 2nd International Workshop on Structural Computing, SC-2, held at the 11th ACM Conference on Hypertext and Hypermedia in San Antonio, Texas, USA in May/June 2000.
This volume comprises papers from the following three workshops that were part of the complete program for the International Conference on Extending Database Technology (EDBT) held in Prague, Czech Republic, in March 2002: XML-Based Data Management (XMLDM) Second International Workshop on Multimedia Data and Document Engineering (MDDE) Young Researchers Workshop (YRWS) Together, the three workshops featured 48 high-quality papers selected from approximately 130 submissions.
Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services.
th This volume contains the papers presented at the 13 International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002) held in Sig enza, Spain, October 1-4, 2002.
This volume contains the papers selected for presentation at the 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003, held in Maebashi City, Japan, 28-31 October, 2003.
These proceedings contain the papers accepted for presentation at the Second International Semantic Web Conference (ISWC 2003) held on Sanibel Island, Florida, U.
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.
Electronic Commerce, as a gamut of activities involving electronic transactions performed over a network via software that may be more or less autonomous, is an emerging reality.
This book constitutes the refereed proceedings of the Third European Conference on Research and Advanced Technology for Digital Libaries, ECDL'99, held in Paris, France in September 1999.
Image-based rendering, as an area of overlap between computer graphics and computer vision, uses computer vision techniques to aid in sythesizing new views of scenes.