934 search results - page 10 / 187 » Modeling Context-Aware Distributed Knowledge |
AINA
2004
IEEE
14 years 1 months ago
2004
IEEE
The conceptual architecture of the access control system described here is based on automatic distributed acquisition and processing of knowledge about users and devices in comput...
AAAI
2004
13 years 11 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
WETICE
2003
IEEE
14 years 3 months ago
2003
IEEE
This report summarizes presentations and discussions of the IEEE WETICE 2003 Workshop on Knowledge Management for Distributed Agile Processes. The main goals of the workshop were ...
COMPSEC
2010
13 years 10 months ago
2010
JANCL
2007
13 years 9 months ago
2007
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...