24 search results - page 2 / 5 » Towards Specifying Reactive Autonomic Systems with a Categor... |
DSVIS
2008
Springer
2008
Springer
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
13 years 9 months ago
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
ENTCS
2007
13 years 7 months ago
2007
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
ENTCS
2006
13 years 7 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...