841 search results - page 102 / 169 » A secure architectural description language for agent system... |
208
click to vote
ACMSE
2009
ACM
16 years 20 days ago
2009
ACM
Avari is a virtual receptionist for the Computer Science department at The University of North Carolina at Charlotte. Her components include background subtraction to detect a per...
177
click to vote
ICSOC
2007
Springer
16 years 9 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
208
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
152
click to vote
ASE
2008
15 years 6 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
178
click to vote
AAAI
2004
15 years 7 months ago
2004
Abstract. Personal assistant agents have long promised to automate routine everyday tasks in order to reduce the cognitive load on humans. One such routine task is the management o...