43264 search results - page 8185 / 8653 » Comparing models of computation |
136
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
130
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
141
Voted
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
129
Voted
DRM
2004
Springer
15 years 9 months ago
2004
Springer
Today, database relations are widely used and distributed over the Internet. Since these data can be easily tampered with, it is critical to ensure the integrity of these data. In...
131
Voted
DSOM
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...