4328 search results - page 41 / 866 » A New Kind of Science |
156
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
166
click to vote
FOCS
2010
IEEE
15 years 3 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
154
click to vote
CSCW
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we describe a field trial designed to investigate the potential of remote, situated messaging within the home. Five households used our “HomeNote” device for app...
167
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
We present experiences and insights into participatory design with individuals who have anterograde amnesia and therefore have extreme difficulty storing new memories. We discuss ...
169
click to vote
COMPLEX
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...