Sciweavers

2605 search results - page 295 / 521
» The many levels of CSCL
Sort
View
SACMAT
2003
ACM
15 years 12 months ago
PBDM: a flexible delegation model in RBAC
Role-based access control (RBAC) is recognized as an efficient access control model for large organizations. Most organizations have some business rules related to access control...
Xinwen Zhang, Sejong Oh, Ravi S. Sandhu
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
15 years 12 months ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary
AE
2003
Springer
15 years 11 months ago
Evolving a Cooperative Transport Behavior for Two Simple Robots
This paper addresses the problem of cooperative transport of an object by a group of two simple autonomous mobile robots called s-bots. S-bots are able to establish physical connec...
Roderich Groß, Marco Dorigo
CC
2003
Springer
15 years 11 months ago
Improving Data Locality by Chunking
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...
Cédric Bastoul, Paul Feautrier
CCS
2003
ACM
15 years 11 months ago
Receiver anonymity via incomparable public keys
We describe a new method for protecting the anonymity of message receivers in an untrusted network. Surprisingly, existing methods fail to provide the required level of anonymity ...
Brent R. Waters, Edward W. Felten, Amit Sahai