Sciweavers

430 search results - page 15 / 86
» Efficient Proving for Practical Distributed Access-Control S...
Sort
View
ACSAC
2009
IEEE
15 years 3 months ago
BAF: An Efficient Publicly Verifiable Secure Audit Logging Scheme for Distributed Systems
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
Attila Altay Yavuz, Peng Ning
ATAL
2006
Springer
15 years 3 months ago
Forming efficient agent groups for completing complex tasks
In this paper we produce complexity and impossibility results and develop algorithms for a task allocation problem that needs to be solved by a group of autonomous agents working ...
Efrat Manisterski, Esther David, Sarit Kraus, Nich...
DEBS
2010
ACM
15 years 3 months ago
Magnet: practical subscription clustering for Internet-scale publish/subscribe
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...
Sarunas Girdzijauskas, Gregory Chockler, Ymir Vigf...
ICA3PP
2005
Springer
15 years 5 months ago
A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency
Shared Memory is an interesting communication paradigm for SMP machines and clusters. Weak consistency models have been proposed to improve efficiency of shared memory applications...
Stefan Frenz, Renaud Lottiaux, Michael Schött...
EUROPLOP
2006
15 years 1 months ago
Load Distribution Patterns for Loosely-coupled Multicomputer Systems
Load distribution is one of the main design issues that arise with respect to efficient resource management in distributed systems. Various load distribution techniques have been d...
Alexandros Karagkasidis