805 search results - page 146 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
130
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
134
click to vote
AHS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a mechanism for the separation of control and data flow in NoC-based SoCs consisting of multiple heterogeneous reconfigurable IP cores. This mechanism enables ...
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We study epidemic schemes in the context of collaborative data delivery. In this context, multiple chunks of data reside at different nodes, and the challenge is to simultaneousl...
157
click to vote
IAT
2010
IEEE
15 years 26 days ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
127
click to vote
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
The emergence of online labor markets makes it far easier to use individual human raters to evaluate materials for data collection and analysis in the social sciences. In this pap...