To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
The paper introduces an Internet based development system for Xputers, which combines an application development framework with a runtime support to run applications on the real h...
Michael Herz, Thomas Hoffmann, Ulrich Nageldinger,...
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
Software product lines are multiple systems that are developed synergistically in an attempt to exploit scope economies. They are a promising approach to more effectively developi...
Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedry...