101 search results - page 7 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
IUI
2003
ACM
14 years 1 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
FAC
2000
13 years 7 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
ITICSE
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
We report on two new portals for searching MEDLINE/PubMed with handheld devices, PICO (Patient, Intervention, Comparison, Outcome) and a WAP (Wireless Application Protocol) browse...