733 search results - page 7 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
96
Voted
IFIP
2000
Springer
15 years 5 months ago
2000
Springer
Information systems research is concerned with complex imbroglios of human and non-human components. As researchers, we need ways to represent the intricacies of the different sta...
131
click to vote
ENTCS
2006
15 years 1 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
212
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
114
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a high-performance Distributed Shared Memory system called VODCA, which supports a novel View-Oriented Parallel Programming on cluster computers. One advantage...
125
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...