31387 search results - page 6111 / 6278 » Abstracts |
160
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
147
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
195
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
133
click to vote
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
Small-scale classification schemes are used extensively in the coordination of cooperative work. This study investigates the creation and use of a classification scheme for handlin...
150
click to vote
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
Abstract. In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, o...