Sciweavers

6756 search results - page 10 / 1352
» Distributed Shared State
Sort
View
CCS
2008
ACM
13 years 11 months ago
Stale-safe security properties for group-based secure information sharing
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William...
TSMC
2008
104views more  TSMC 2008»
13 years 9 months ago
Using Shared-Resource Capacity for Robust Control of Failure-Prone Manufacturing Systems
Deadlock-free resource allocation has been an active area of research in flexible manufacturing. Most researchers have assumed that allocated resources do not fail, and thus, littl...
Shengyong Wang, Song Foh Chew, Mark A. Lawley
TSMC
2002
129views more  TSMC 2002»
13 years 9 months ago
A distributed robotic control system based on a temporal self-organizing neural network
A distributed robot control system is proposed based on a temporal self-organizing neural network, called competitive and temporal Hebbian (CTH) network. The CTH network can learn ...
Guilherme De A. Barreto, Aluizio F. R. Araú...
ICPPW
2002
IEEE
14 years 2 months ago
MigThread: Thread Migration in DSM Systems
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...
Hai Jiang, Vipin Chaudhary
APN
2003
Springer
14 years 3 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä