Presenting mobile software agents for Internet servic monitoring, this research monograph discusses newly standardized Internet technologies that allow service providers to offer secured Internet services with quality guarantees. Yet, today the customers of such services have no independent tool to verify (monitor) the service quality. This book shows why mobile software agents are best fit to fill the gap. The book is addressed to mobile agent researchers looking for new and fruitful application areas. It will also be a valuable resource for innovative Internet providers who are looking for a service monitoring infrastructure going beyond monthly reports.

"It is not the consciousness of men that defines their existence, but, on the contrary, their social existence determines their consciousness." Karl Marx In recent years, several researchers have argued that the design of multi-agent sys tems (MAS) in complex, open environments can benefit from social abstractions in order to cope with problems in coordination, cooperation and trust among agents, problems which are also present in human societies. The agent-mediated electronic institutions (e-institutions for short) is a new and promising field which focuses in the concepts of norms and institutions in order to pro vide normative frameworks to restrict or guide the behaviour of (software) agents. The main idea is that the interactions among a group of (software) agents are ruled by a set of explicit norms expressed in a computational language representation that agents can interpret. Such norms should not be considered as a negative constraining factor but as an aid that guides the agents' choices and reduces the complexity ofthe environment making the behaviour of other agents more predictable.

It has long been recognized that there are fascinating connections between cod ing theory, cryptology, and combinatorics. Therefore it seemed desirable to us to organize a conference that brings together experts from these three areas for a fruitful exchange of ideas. We decided on a venue in the Huang Shan (Yellow Mountain) region, one of the most scenic areas of China, so as to provide the additional inducement of an attractive location. The conference was planned for June 2003 with the official title Workshop on Coding, Cryptography and Combi natorics (CCC 2003). Those who are familiar with events in East Asia in the first half of 2003 can guess what happened in the end, namely the conference had to be cancelled in the interest of the health of the participants. The SARS epidemic posed too serious a threat. At the time of the cancellation, the organization of the conference was at an advanced stage: all invited speakers had been selected and all abstracts of contributed talks had been screened by the program committee. Thus, it was de cided to call on all invited speakers and presenters of accepted contributed talks to submit their manuscripts for publication in the present volume. Altogether, 39 submissions were received and subjected to another round of refereeing. After care ful scrutiny, 28 papers were accepted for publication.

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.

1. 1 Background In this work, we develop a framework for the design of multi-agent systems inspired by (human) organizational principles. Organizations are complex entities formed to ov- come various limitations of individual agencies, such as cognitive, physical, temporal and institutional limitations. There is a parallel between the complexity of organizations and multi-agent systems. Therefore, we explore the use of concepts, methods and techniques from human organizational design as architectural principles for multi-agent systems. Three research lines are presented: organizational modeling and coordination, interop- ability and agent models. Organizational modeling and coordination are concerned with how resources (i. e. agents) can be identi?ed and related to each other. In order to have agents cooperate, several issues of interoperability have to be addressed. Agent models deal with the design of individual intelligent software agents, taking into account typical features of agent intelligence. Every (human) activity raises two challenges: division of labor and coordi- tion [Mintzberg, 1993]. Division of labor is the decomposition of work (or goals) into various distinct tasks. Coordination refers to managing relations between these tasks to carry out the work. The patterns of division of labor, responsibilities (people who do the work), clustering of responsibilities into units and coordination between units can be de?ned by organizational structures [Galbraith, 1973]. The design of an organization should cover how one or more actors are engaged in one or more tasks, where knowledge, capabilities and resources are distributed.

Multi-agent systems are one of the most exciting research areas in Artificial Intelligence. This book reports on the results achieved in this area, discusses the benefits (and drawbacks) that agent-based systems may bring to medical domains and society, and also provides a list of the research topics that should be tackled in the near future to make the deployment of health-care agent-based systems a reality. Current topics of research include communication and co-operation between distributed intelligent agents to manage patient care.