1953 search results - page 199 / 391 » Normative system games |
191
click to vote
SCP
2010
15 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
172
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
133
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: We propose a concept of real-time human proxy for avatar-based communication systems, which virtualizes a human in the real world in real-time and which lets the virtuali...
186
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Microeconomics offer a far developed theory on the subject of rational choice. This theory is applied to a multi-agent system, which has been modeled in order to establish schedul...
169
click to vote
PDPTA
2004
15 years 8 months ago
2004
File-sharing applications remain today the most representative and popular realization of the Peerto-Peer paradigm. Large objects receive an increasing amount of interest in such s...