1134 search results - page 171 / 227 » Distributed Proving in Access-Control Systems |
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
112
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
129
click to vote
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper first presents a novel control strategy for periodic motion control based on a Hamiltonian system. According to the strategy, hybrid symmetric orbits (ideal walking...
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...