1134 search results - page 146 / 227 » Distributed Proving in Access-Control Systems |
145
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
During the analysis of packet log files from network experiments, the question arises which received packet belongs to which of the potentially many binary identical send events....
144
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
113
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
133
Voted
AI
2000
Springer
15 years 3 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
153
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...