733 search results - page 75 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
148
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
144
Voted
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
130
Voted
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Enterprises may have multiple database systems spread across the organization for redundancy or for serving different applications. In such systems, query workloads can be distrib...
133
click to vote
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
150
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...