3052 search results - page 44 / 611 » Weakly Distributive Domains |
107
click to vote
NCA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
CSFW
2003
IEEE
15 years 3 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
CRIWG
2000
14 years 11 months ago
2000
GRADD is a group decision support systems targeted at asynchronous and distributed meetings. The distinctive features of GRADD are the combination of a rationalemodel for discussi...
PDPTA
2000
14 years 11 months ago
2000
Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...
TACS
2001
Springer
15 years 2 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...