15792 search results - page 2750 / 3159 » Computational Abstraction Steps |
189
click to vote
CONCUR
2004
Springer
16 years 10 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 ...
189
click to vote
CONCUR
2004
Springer
16 years 10 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...
152
click to vote
DAS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We present a system for automatic FAX routing which processes incoming FAX images and forwards them to the correct email alias. The system first performs optical charact...
188
click to vote
DFG
2004
Springer
16 years 10 days 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 ...
168
click to vote
DIS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...