Software Engineering

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011.

To learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general.

Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using the ranking and joining of results as the dominant factors for service composition.

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

S-Cube's Foundations for the Internet of Services Today's Internet is standing at a crossroads.

Advice involves recommendations on what to think; through thought, on what to choose; and via choices, on how to act.

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.

Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using ranking and joining of results as the dominant factors for service composition.

The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007.

This book originates from a workshop organised by ESPRIT project 20 477, ARES in Las Palmas de Gran Canaria, Spain, February 1998.

Advances in Computer Science often arise from new ideas and concepts, that prove to be advantageous for the design of complex software systems.

The leading edge of computer science research is notoriously ?

This volume contains mainly the revised versions of papers presented at the wo- shop '98, "e;Beyond the Notation"e;, that took place in Mulhouse, France on June 3-4, 1998.

In the ten years since the first MAAMAW was held in 1989, at King's College, Cambridge, the field of Multi-Agent Systems (MAS) has flourished.

This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- timization, Cambridge, MA (USA), May 27-29, 2002.

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software.

The wireless industry is in the midst of a fundamental shift from providing voice-only services to o?

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002.

This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8-11 April 2002.

ICGT 2002 was the ?

This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in November 2001.

RoboCup 2002, the 6th Robot World Cup Soccer and Rescue Competitions and Conference, took place during June 19-25, 2002, at the Fukuoka Dome (main venue) in Fukuoka, Japan.

ISO (the International Organization for Standardization) and IEC (the International Electrotechnical 1 Commission) form the specialized system for worldwide standardization.

This book constitutes the joint refereed proceedings of the 6th International Workshop on Approximation Algorithms for Optimization Problems, APPROX 2003 and of the 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, held in Princeton, NY, USA in August 2003.

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000.

Researchers in Artificial Intelligence have traditionally been classified into two categories: the "e;neaties"e; and the "e;scruffies"e;.

The increasing importance of intelligent agents and their impact on industry/business worldwide is well documented through academic research papers and industrial reports.

The 22nd International Conference on Conceptual Modeling (ER 2003) returned to Chicago after an absence of 18 years.

 This book constitutes the refereed proceedings of the Third International Conference on Computer Vision Systems, ICVS 2003, held in Graz, Austria, in April 2003.

 This book constitutes the thoroughly refereed post-proceedings of the three agent-related workshops held during the NetObjectDays international conference, NODe 2002, held in Erfurt, Germany, in October 2002.

We welcomed participants to the 1st EurAsian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) held in Iran.

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base.

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.

Embedded systems are ubiquitous.

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base.