Software-intensive systems in most domains, from autonomous vehicles to health, are
becoming predominantly parallel to efficiently manage large amount of data in short (even …

LNCS 2874 - The Klaim Project: Theory and Practice Page 1 The Klaim Project: Theory and
Practice * Lorenzo Bettini1, Viviana Bono2, Rocco De Nicola1, Gianluigi Ferrari3, Daniele …

Highly distributed networks have now become a common infrastructure for wide‐area
distributed applications whose key design principle is network awareness, namely the ability …

Abstract On many occasions, Rocco De Nicola has shown an amazing ability to combine
different research topics to offer original results to seemingly different research problems …

KLAIM is an experimental programming language that supports a programming paradigm
where both processes and data can be moved across different computing environments …

Software development for robotics applications is still a major challenge that becomes even
more complex when considering multi-robot systems (MRSs). Such distributed software has …

An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …

Mobile agents are software objects that can be transmitted over the net together with data
and code, or can autonomously migrate to a remote computer and execute automatically on …

In the design of programming languages for highly distributed systems where processes can
migrate and execute on new hosts, the integration of security mechanisms is a major …

The structure of open nets, like the Internet, is highly dynamic, as the topology of component
networks continuously evolves. In this context, node connectivity is a key aspect and a …