283 search results - page 50 / 57 » Cooperative Bimanual Action |
ACOM
2004
Springer
14 years 6 days ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Recent advances in technology allow multi-agent systems to be deployed in cooperation with or as a service for humans. Typically, those systems are designed assuming individually ...
CSCW
2008
ACM
13 years 10 months ago
2008
ACM
A proliferation of mobile devices in everyday life has increased the likelihood of technologically mediated interruptions. We examine ethnographic data from an SMSbased pervasive ...
SEC
2008
13 years 10 months ago
2008
The constant increase of malware threats clearly shows that the present countermeasures are not sufficient especially because most actions are put in place only when infections hav...