This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
The trend towards value-added Internet services causes network providers to deploy new network based quality-of-service and security services. Today, however, the customer has onl...
The TOWL language is a temporal ontology language built on top of OWL-DL that enables descriptions involving time and temporal aspects such as change and state transitions. Extendi...
Viorel Milea, Michael Mrissa, Kees van der Sluijs,...
Most cooperative work takes place in information-rich environments. However, studies of "information work" tend to focus on the decontextualized access and retrieval pro...
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
Tony Bourdier, Horatiu Cirstea, Daniel J. Doughert...