307 search results - page 35 / 62 » On the Integrity of Lightweight Checkpoints |
CHI
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we describe the process and technology behind a dance performance, “Bodies/Antibodies,” that will be presented at CHI 2010. This performance is part of an ongoin...
90
Voted
CHI
1999
ACM
15 years 4 months ago
1999
ACM
Rotating a piece of paper while drawing is an integral and almost subconscious part of drawing with pencil and paper. In a similar manner, the advent of lightweight pen-based comp...
101
Voted
DL
1998
Springer
15 years 4 months ago
1998
Springer
This paper presents design considerations for the construction of advanced information environments, and a prototype interface that attempts to respond to them. The design conside...
116
Voted
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
86
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...