101 search results - page 15 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
122
click to vote
DAC
1997
ACM
15 years 6 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...
116
click to vote
USENIX
1994
15 years 3 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...
135
click to vote
COMPSAC
1995
IEEE
15 years 5 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...
143
click to vote
FMCAD
2008
Springer
15 years 3 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...
120
Voted
JOT
2010
15 years 8 days 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...