1134 search results - page 80 / 227 » Distributed Proving in Access-Control Systems |
112
Voted
CLIMA
2007
15 years 4 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
120
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— This paper introduces a smooth control algorithm for controlling fully actuated distributed manipulation systems that operate by frictional contact. The control law sca...
122
click to vote
WSCG
2001
15 years 4 months ago
2001
This paper addresses communication problems in a distributed virtual reality system. The paper presents VOODIE, a system that provides a framework for distributed virtual environm...
131
click to vote
SWS
2004
ACM
15 years 8 months ago
2004
ACM
Virtual Organization (VO) is a collection of users and distributed resources, in which resources are shared by users. Creating VOs is very important task in Grid computing. VOs ar...