1134 search results - page 112 / 227 » Distributed Proving in Access-Control Systems |
126
Voted
ISER
1995
Springer
15 years 7 months ago
1995
Springer
Minimalism pursues the following agenda: For a given robotics task, nd the minimal con guration of resources required to solve the task. Thus, minimalism attempts to reduce the re...
143
Voted
IWQOS
2004
Springer
15 years 8 months ago
2004
Springer
— We propose an algorithm for design and on the fly modification of the schedule of a wireless ad hoc network for provision of fair service guarantees under topological changes...
118
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
124
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
125
click to vote
FOCS
1992
IEEE
15 years 7 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...