Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

As the number of services and the size of data involved in workflows increases, centralised
orchestration techniques are reaching the limits of scalability. In the classic orchestration …

Designing open and distributed systems that can dynamically adapt in a predictable way to
unexpected events is a challenging issue still not solved. Achieving this objective is a very …

In open and distributed systems, agents must engage in interactions of which they have no
previous experience. Deontic models are widely used to describe aspects of permission …

Trust in software services is a key prerequisite for the success and wide adoption of services-
oriented computing (SOC) in an open Internet world. However, trust is poorly assessed by …

This paper describes a CASE tool for developing complex systems in which heterogeneous
and autonomous agents may need to coexist in a complex social and legal framework …

A necessary feature of social networks is a model of interaction which is followed on the
network---some structure which coordinates activity between the participants. These …

The ability of a system to interoperate with another is a multi-dimensional concern which
must be considered simultaneously from different perspectives and covering all the …

Most current attempts to achieve reliable knowledge sharing on a large scale have relied on
pre-engineering of content and supply services. This, like traditional knowledge …

Muni WiFi deployments have been widely covered by the media during the last two years.
However, the economical feasibility and performance of such deployments as an alternative …