101 search results - page 15 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
DAC
1997
ACM
13 years 12 months ago
1997
ACM
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
USENIX
1994
13 years 9 months ago
1994
The Whitehead Institute/MIT Center for Genome Research is responsible for a number of large genome mapping efforts, the scale of which create problems of data and workflow managem...
COMPSAC
1995
IEEE
13 years 11 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
JOT
2010
13 years 6 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...