83 search results - page 14 / 17 » Separation Logic Semantics for Communicating Processes |
ICDCS
2000
IEEE
14 years 4 days 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...
AAAI
1990
13 years 9 months 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
14 years 1 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
13 years 7 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...
ICAIL
2011
ACM
12 years 7 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...