Sciweavers

733 search results - page 35 / 147
» A Logic Programming View of Authorization in Distributed Sys...
Sort
View
122
Voted
CONCUR
2005
Springer
15 years 9 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
138
Voted
CCGRID
2005
IEEE
15 years 9 months ago
View-oriented update protocol with integrated diff for view-based consistency
This paper proposes a View-Oriented Update Protocol with Integrated Diff for efficient implementation of a View-based Consistency model which supports a novel View-Oriented Paral...
Zhiyi Huang, Martin K. Purvis, Paul Werstein
136
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
147
Voted
USENIX
1994
15 years 5 months ago
A Usage Profile and Evaluation of a Wide-Area Distributed File System
The evolution of the Andrew File System (AFS) into a wide-area distributed file system has encouraged collaboration and information dissemination on a much broader scale than ever...
Mirjana Spasojevic, Mahadev Satyanarayanan
145
Voted
BDA
2007
15 years 5 months ago
A Satisfaction Balanced Query Allocation Process for Distributed Information Systems
We consider a distributed information system that allows autonomous consumers to query autonomous providers. We focus on the problem of query allocation from a new point of view, ...
Jorge-Arnulfo Quiané-Ruiz, Philippe Lamarre...