1134 search results - page 118 / 227 » Distributed Proving in Access-Control Systems |
67
Voted
JUCS
2006
15 years 3 months ago
2006
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
131
click to vote
DEDS
2006
15 years 3 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
114
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Semantic Web data exhibits very skewed frequency distributions among terms. Efficient large-scale distributed reasoning methods should maintain load-balance in the face of such hi...
120
click to vote
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we are interested in solving Markovian queueing systems having Poisson batch arrivals, exponential servers and negative customers. Preconditioned conjugate gradient...
120
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...