4930 search results - page 313 / 986 » Testing a Safety-Critical Application |
215
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
159
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Display characteristics, network Quality of Service, and the user's current task all exhibit a wide range of variation when users interact with mobile and ubiquitous devices....
132
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper we describe a first version of ZEUS, a web application that combines browsing, searching and object presentation. With the zooming and panning based navigation concep...
164
click to vote
DGO
2003
15 years 8 months ago
2003
MapStats for Kids is concerned with the development of online learning activities based on data from the FedStats web portal. The development of these web applications requires th...
163
Voted
COLING
1992
15 years 7 months ago
1992
This paper proposes a methodology for the eustomisation of natural language interfaces to information retrieval applications. We report a field study in which we tested this metho...