33 search results - page 5 / 7 » On the dynamics of delegation, cooperation, and control: a l... |
ECAIW
1994
Springer
14 years 2 months ago
1994
Springer
This paper describes the design and implementation of a layered agent architecture for decision support applications in general and for distributed medical care in particular. Thre...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
DAMAS
2005
Springer
14 years 3 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
POLICY
2007
Springer
14 years 4 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...