Well adapted to the loosely coupled nature of distributed interaction in large-scale
applications, the publish/subscribe communication paradigm has recently received …

System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …

Large-scale supervised datasets are crucial to train convolutional neural networks (CNNs)
for various computer vision problems. However, obtaining a massive amount of well-labeled …

Cyber-Physical Systems (CPS) are integrations of computation and physical processes.
Embedded computers and networks monitor and control the physical processes, usually …

For concurrent programming to become mainstream, we must discard threads as a
programming model. Nondeterminism should be judiciously and carefully introduced where …

In this article we focus on the notion of artifact for agents in multi-agent systems (MAS) as a
basis for a new meta-model promoting the modelling and engineering of agent societies and …

In today's world, services and data are integrated in ever new constellations, requiring the
easy, flexible and scalable integration of autonomous, heterogeneous components into …

Macroprogramming refers to the theory and practice of expressing the macro (scopic)
behaviour of a collective system using a single program. Macroprogramming approaches …

Abstract Cyber-Physical Systems (CPS) are integrations of computation and physical
processes. Embedded computers and networks monitor and control the physical processes …

In this paper, we explain how to achieve deterministic execution of FMUs (Functional
Mockup Units) under the FMI (Functional Mockup Interface) standard. In particular, we focus …