A framework for the dynamic aggregation of ubiquitous computers is presented. The framework aggregates applications from more than one mobile component that can migrate from compu...
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Email plays an important role as a medium for the spread of information, ideas, and influence among its users. We present a framework to learn topic-based interactions between pa...
Dong Zhang, Daniel Gatica-Perez, Deb Roy, Samy Ben...
In this paper, we present the agent programming language TEAMGOLOG, which is a novel approach to programming a team of cooperative agents under partial observability. Every agent ...
Alessandro Farinelli, Alberto Finzi, Thomas Lukasi...
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...