6808 search results - page 204 / 1362 » Distributed Concurrency Control |
165
click to vote
ETFA
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
152
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
We consider the El Farol bar problem, also known as the minority game W. B. Arthur, The American Economic Review, 842: 406 411 1994, D. Challet and Y.C. Zhang, Physica A, 256:514 ...
173
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...
177
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
175
click to vote
TC
2002
15 years 6 months ago
2002
Abstract--Personal communication service (PCS) networks offer mobile users multimedia applications with different quality-ofservice (QoS) and bandwidth requirements. This paper pro...