Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

My major motivation to think about swarm robotics is the question of how probabilistic local
actions of small robots sum up to rational global patterns shown by the swarm. For the …

Context-awareness is an essential component of systems developed in areas like Intelligent
Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these …

LIME (Linda in a mobile environment) is a model and middleware supporting the
development of applications that exhibit the physical mobility of hosts, logical mobility of …

Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

The autonomic computing paradigm has been proposed to cope with size, complexity, and
dynamism of contemporary software-intensive systems. The challenge for language …

Process algebras can be enriched with localities that explicitly describe the distribution of
processes. Localities may represent physical machines, or more generally distribution units …

We describe a typing system for a distributed π-calculus which guarantees that distributed
agents cannot access the resources of a system without first being granted the capability to …

Constraint satisfaction and constraint programming have shown to be very simple but
powerful ideas, with applications in various areas. Still, in the last ten years, the simple …

Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or
manage valuable physical and digital assets. These assets can be harmed by malicious …