21430 search results - page 3849 / 4286 » Abstract Effective Models |
178
click to vote
CONCUR
2004
Springer
16 years 2 days 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 ...
173
click to vote
CONCUR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
183
click to vote
CONCUR
2004
Springer
16 years 2 days 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...
163
click to vote
CRYPTO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...
156
click to vote
DAGM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Velocity distributions are an enhanced representation of image velocity implying more velocity information than velocity vectors. Velocity distributions allow the represe...