Computer programming / software engineering

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 frühen 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.

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

This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.

This book constitutes the refereed proceedings of the International Workshop on Human-Computer Interaction, HCI 2004, held at ECCV 2004 in Prague, Czech Republic in May 2004.

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.

The goal of the project is to provide the polish scientific community with an IT platform based on grid computer clusters, enabling e-science research in various fields.

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.

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science.