20126 search results - page 3737 / 4026 » Timed Transition Systems |
178
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
We describe two games in which online participants collaborated with mobile participants on the city streets. In the first, the players were online and professional performers wer...
120
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
In the past, most early hands-on users of interactive software in organizations were individual contributors. Managers as early adopters is a new trend with significant implicatio...
137
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
224
click to vote
VLDB
2002
ACM
16 years 4 months ago
2002
ACM
Relational database systems have traditionally optimized for I/O performance and organized records sequentially on disk pages using the N-ary Storage Model (NSM) (a.k.a., slotted ...
238
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
The skyline of a d-dimensional dataset consists of all points not dominated by others. The incorporation of the skyline operator into practical database systems necessitates an ef...