5964 search results - page 357 / 1193 » A theory of speculative computation |
201
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
202
Voted
JSYML
2008
15 years 7 months ago
2008
In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A T 0 is nonlow2 if and only if A is prime bounding, i.e. for every complete atomic decidable theory T , there i...
212
click to vote
SIGECOM
2008
ACM
15 years 7 months ago
2008
ACM
This paper studies a virus inoculation game on social networks. A framework is presented which allows the measuring of the windfall of friendship, i.e., how much players benefit i...
193
Voted
CHI
2011
ACM
14 years 11 months ago
2011
ACM
There is an undesirable gap between HCI research aimed at influencing interaction design practice and the practitioners in question. To close this gap, we advocate a theoretical a...
200
Voted
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...