5506 search results - page 596 / 1102 » Visualizing Software Changes |
146
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
144
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
SpeechSkimmer is an interactive system for quickly browsing and finding information in speech recordings. Skimming speech recordings is much more difficult than visually scanning ...
134
click to vote
UIST
1995
ACM
15 years 10 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...
187
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
181
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...