Computer programming / software engineering

The third successful completion of the INDOCRYPT conference series marks the acceptance of the series by the international research community as a forum for presenting high-quality research.

Interactive Distributed Multimedia Systems (IDMS) and Protocols for Mul- media Systems (PROMS) have been two successful series of international events bringing together researchers, developers and practitioners from academia and industry in all areas of multimedia systems.

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.

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology.

These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy.

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions.

Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems.

We would like to present, with great pleasure, the first volume of a new journal, Transactions on Computational Collective Intelligence (TCCI).

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.

The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing.

The first International Conference on Intelligent Tutoring Systems (ITS) was held ten years ago in Montreal (ITS '88).

1 Introduction Imagine a virtual world with digital creatures that looks like real life, sounds like real life, and even feels like real life.

Databaseresearchisa?

We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems.

The International Conference on Networking (ICN01) is the first conference in its series aimed at stimulating technical exchange in the emerging and important field of networking.

ICICS 2001, the Third International Conference on Information and Commu- cations Security, was held in Xi'an, China, 13-16 November 2001.

Welcome to the second IEEE Pacific Rim Conference on Multimedia (IEEE PCM 2001) held in Zhongguanchun, Beijing, China, October 22 24, 2001.

The story is the richest heritage of human civilizations.

Developments in network and switching technologies have made telecommu- cations systems and services far more data intensive.

After a decade of major technical and theoretical advancements in the area, the scope for exploitation of database technology has never been greater.

The 5th International Symposium on High Performance Computing (ISHPC-V) was held in Odaiba, Tokyo, Japan, October 20-22, 2003.

This book constitutes the ?

We have described the development of a new micro-payment system, NetPay, f- turing different ways of managing electronic money, or e-coins.

Medical imaging and medical image analysisare rapidly developing.

This festschrift volume, published in honor of Bernd Kramer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions.

This volume, the 8th in the Transactions on Aspect-Oriented Software Development series, contains two regular submissions and a special section, consisting of five papers, on the industrial applications of aspect technology.

This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009.

- Those who want to learn about AOM ?

Affect and emotion play an important role in our everyday lives: They are present whatever we do, wherever we are, and wherever we go, without us being aware of them for much of the time.

The LNCS Journal "e;Transactions on Aspect-Oriented Software Developmen"e;t 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.

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago.

All of us have learned a lot during this exercise, and the enormous success of the first edition of this book shows the great international interest for the topic and the results.

The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999.

This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming languages.

RoboCup is an international initiative devoted to advancing the state of the art in artificial intelligence and robotics.

This volume presents the articles accepted for the 8th International Conference on Computer Analysis of Images and Patterns (CAIP'99), held in Ljubljana, Slovenia, 1{3 September 1999.

The Internet and the World Wide Web (WWW) are becoming more and more important in our highly interconnected world as more and more data and information is made available for online access.

This volume contains the proceedings of the Fifth International Conference on Cellular Automata for Research and Industry (ACRI 2002) that was held in - neva on October 9-11, 2002.