5353 search results - page 744 / 1071 » Modelling Contexts in the Or-BAC Model |
186
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
247
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...
192
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
196
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
153
click to vote
SIGMETRICS
1999
ACM
15 years 11 months ago
1999
ACM
In this paperweconsidertheproblemof schedulingdifferentclasses of customerson multiple distributed serversto minimize an objective function basedon per-classmeanresponsetimes.This...