Sciweavers

1173 search results - page 184 / 235
» Weighted Distributed Systems and Their Logics
Sort
View
97
Voted
ENTCS
2007
103views more  ENTCS 2007»
15 years 23 days ago
Policy-based Coordination in PAGODA: A Case Study
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
Carolyn L. Talcott
123
Voted
ICUMT
2009
14 years 10 months ago
Discovery of Physical Neighbors for P2P 3D streaming
Abstract-- Many peer-to-peer-based virtual environment (P2PVE) solutions have been proposed recently to improve the scalability of distributed virtual environment (VE) systems. By ...
Chang-Hua Wu, Shun-Yun Hu, Li-Ming Tseng
HPCA
2011
IEEE
14 years 4 months ago
Calvin: Deterministic or not? Free will to choose
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
Derek Hower, Polina Dudnik, Mark D. Hill, David A....
108
Voted
ADC
1999
Springer
97views Database» more  ADC 1999»
15 years 5 months ago
Pseudo-Naive Evaluation
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...
Donald A. Smith, Mark Utting
106
Voted
CCS
2007
ACM
15 years 7 months ago
A simple and expressive semantic framework for policy composition in access control
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
Glenn Bruns, Daniel S. Dantas, Michael Huth