1833 search results - page 5 / 367 » Mechanized Verification with Sharing |
ESA
2008
Springer
13 years 9 months ago
2008
Springer
A truthful mechanism consists of an algorithm augmented with a suitable payment function which guarantees that the "players" cannot improve their utilities by "chea...
ACMICEC
2006
ACM
13 years 11 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
ISCAPDCS
2004
13 years 8 months ago
2004
We present the design and evaluation of a fully decentralized software application discovery scheme
CSL
2004
Springer
13 years 11 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
FMSD
2006
13 years 7 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...