133 search results - page 11 / 27 » On the work of Basil Gordon |
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
IDA
2007
Springer
14 years 1 months ago
2007
Springer
The increasing availability of streaming data is a consequence of the continuing advancement of data acquisition technology. Such data provides new challenges to the various data a...
CHI
1999
ACM
13 years 11 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...
CBMS
2004
IEEE
13 years 11 months ago
2004
IEEE
The National Cancer Institute has collected a large database of digitized 35mm slides of the uterine cervix, the idea being to build a system enabling to study the evolution of le...
UIST
1995
ACM
13 years 11 months ago
1995
ACM
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...