Sciweavers

507 search results - page 61 / 102
» The relation between protocols and games
Sort
View
109
Voted
ICFEM
2010
Springer
14 years 10 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
85
Voted
CT
2001
Springer
15 years 5 months ago
Experimental Politics: Ways of Virtual Worldmaking
We think that Massively Multi-user Online Role-Playing Games (MMORPGs) will soon evolve into Online Societies of political and economic interest. Studying them will require a metho...
Max Borders, Doug Bryan
93
Voted
MICCAI
1999
Springer
15 years 4 months ago
A 3d Puzzle for Learning Anatomy
We present a new metaphor for learning anatomy - the 3d puzzle. With this metaphor students learn anatomic relations by assembling a geometric model themselves. For this purpose, a...
Bernhard Preim, Felix Ritter, Oliver Deussen
94
Voted
AAAI
2007
15 years 2 months ago
Computational Aspects of Covering in Dominance Graphs
Various problems in AI and multiagent systems can be tackled by finding the “most desirable” elements of a set given some binary relation. Examples can be found in areas as d...
Felix Brandt, Felix A. Fischer
EUROCRYPT
2009
Springer
16 years 1 months ago
Key Agreement from Close Secrets over Unsecured Channels
We consider information-theoretic key agreement between two parties sharing somewhat different versions of a secret w that has relatively little entropy. Such key agreement, also ...
Bhavana Kanukurthi, Leonid Reyzin