Computer programming / software engineering

Middleware is everywhere.

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.

This volume presents the proceedings of the 2nd International Workshop on - gebraic Frames for the Perception and Action Cycle.

This volume contains the papers accepted for the 4th Workshop on Algorithm Engineering (WAE 2000) held in Saarbruc * ken, Germany, during 5-8 September 2000, together with the abstract of the invited lecture given by Karsten Weihe.

The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?

Once again we bring you the proceedings of the International Workshop on Security Protocols.

This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003.

RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC).

Every year we witness acceleration in the availability, deployment, and use of distributed applications.

The International Symposium on Smart Graphics 2003 was held on July 2-4, 2003 in Heidelberg, Germany.

This volume contains the papers presented at the 13th Annual Conference on Algorithmic Learning Theory (ALT 2002), which was held in Lub * eck (Germany) during November 24-26, 2002.

Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.

How can one exchange information e?

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.

This volume contains the papers presented at the 29th Symposium on Mat- matical Foundations of Computer Science, MFCS 2004, held in Prague, Czech Republic, August 22-27, 2004.

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct.

Welcome to the proceedings of the 8th European Conference on Computer - sion!

Every gamer knows the feeling of dread: the mission objective shifts, and suddenly you are forced to protect a fragile, excruciatingly slow non-player character (NPC) as they wander blindly through a warzone.

AI can now write code that looks right.

In den fruhen Tagen der Videospiele bedeutete das Besiegen eines Gegners, ihm bei einer starren, voranimierten Todessequenz zuzusehen.

This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.

This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.

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.

This workshop series is now over ten years old, which is a pretty long time for a very focussed topic: Configuration Management.

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen.

This book constitutes the refereed proceedings of the Third International Workshop on Ant Algorithms, ANTS 2002, held in Brussels, Belgium in September 2002.

Ubiquitous computing is coming of age.

Software systems play an increasingly important role in modern societies.

Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities.

As software systems become more and more ubiquitous, the issues of dependability become more and more critical.

The agent metaphor and the agent-based approach to systems design constitute a promising new paradigm for building complex distributed systems.

Next-generation distributed applications and systems are increasingly developed using middleware.

This volume contains the proceedings of the 4th International Conference on Veri?

 This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003.

This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam, The Netherlands, on September 2 and 3, 2004.