3008 search results - page 172 / 602 » Information and Control in Gray-Box Systems |
195
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
139
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
We describe SCC-kS, a Speculative Concurrency Control (SCC) algorithm that allows a DBMS to use efficiently the extra computing resources available in the system to increase the l...
269
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
— In this paper, navigation and control of autonomous mobile unicycle robots in a complex and partially known obstacleridden environment is considered. The unicycle dynamic model...
162
click to vote
ISW
2005
Springer
16 years 2 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
167
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...