For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
We sought to create a social embodied conversational agent to support group interactions, using ‘balance theory’ from social science research on human-human relations. We cond...
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...