12487 search results - page 2120 / 2498 » Graspable Work Modeling |
157
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
164
click to vote
CANDT
2009
15 years 10 months ago
2009
The role of material artefacts in supporting distributed and colocated work practices has been well acknowledged within HCI and CSCW research. In this paper, we show that in addit...
177
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...
187
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
We quantify the effect of Bayesian ignorance by comparing the social cost obtained in a Bayesian game by agents with local views to the expected social cost of agents having glob...
203
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper considers the tradeoff between bursty and continuous transmissions in wireless ad hoc networks. In our network model, packets belonging to specific transmitters arri...