5267 search results - page 136 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
ACSC
2002
IEEE
15 years 2 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper addresses the challenge of recognizing dynamic
textures based on their observed visual dynamics.
Typically, the term dynamic texture is used with reference
to image s...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
ECWEB
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, several problems in associating hyperlinks to text and the diverse possibilities to overcome these problems are discussed. At the current stage, an important aspect ...