Software today is often developed for many deployment scenarios; the software may be
adapted to sequential, concurrent, distributed, and even virtualized architectures. Since …

CISCO FogDirector is one of the first available tools supporting the management of the
entire life cycle of applications deployed to Fog infrastructures. In this paper, we present a …

Abstract The Abstract Behavioral Specification (ABS) language is a formal, executable,
object-oriented, concurrent modeling language intended for behavioral modeling of complex …

A tribute to Professor Kaisa Sere's contributions to the field of computer science, From Action
Systems to Distributed Systems: The Refinement Approach presents state-of-the-art …

In distributed computing, location transparency—the decoupling of objects from their
physical location—is desirable in that it can simplify application development and enables …

Cloud computing offers a pay-on-demand scalable infrastructure for data processing.
Resource-aware services can exploit this infrastructure to elastically adapt to client traffic …

In distributed object systems, it is desirable to enable migration of objects between locations,
eg, in order to support efficient resource allocation. Existing approaches build complex …

Software is often developed for a range of deployment scenarios; different versions of the
software may be specialized for a number of distributed and even virtualized architectures …

Swarm robotics has been proposed as a way to organise decentralised systems in which a
large number of similar robots, that are autonomous and relatively simple in their behaviour …

We show a way to evaluate functional properties of distributed algorithms by the example of
the AODV algorithm in sensor networks, Creol and ABS models, and component testing. We …