1134 search results - page 191 / 227 » Distributed Proving in Access-Control Systems |
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
TPDS
2008
14 years 11 months ago
2008
The efficiency of Peer-to-Peer (P2P) systems is largely dependent on the overlay constructions. Due to the random selection of logical neighbors, there often exists serious topolog...
107
click to vote
JFP
2010
14 years 10 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
QUESTA
2010
14 years 10 months ago
2010
Motivated by scheduling in cellular wireless networks and resource allocation in computer systems, we study a service facility with two classes of users having heterogeneous servi...
123
click to vote
ASIAN
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...