83 search results - page 14 / 17 » Separation Logic Semantics for Communicating Processes |
94
Voted
ICDCS
2000
IEEE
15 years 4 months ago
2000
IEEE
We describe a novel scalable group membership algorithm designed for wide area networks WANs . Our membership service does not evolve from existing LAN-oriented membership servic...
100
Voted
AAAI
1990
15 years 24 days ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
CCS
2004
ACM
15 years 5 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
PERCOM
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
172
click to vote
ICAIL
2011
ACM
13 years 11 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...