254 search results - page 43 / 51 » An abstract framework for reasoning about trust |
ECMDAFA
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
CC
2004
Springer
14 years 3 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
ESAW
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
IROS
2006
IEEE
14 years 22 days ago
2006
IEEE
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...