59 search results - page 5 / 12 » Towards Modularized Verification of Distributed Time-Trigger... |
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
AMI
2010
Springer
13 years 6 months ago
2010
Springer
This article presents a modular, distributed and scalable many-camera system designed towards tracking multiple people simultaneously in a natural human-robot interaction scenario ...
ATAL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
WOSS
2004
ACM
14 years 29 days ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
ICDCSW
2006
IEEE
14 years 1 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...