478 search results - page 91 / 96 » Usability of user interfaces: from monomodal to multimodal |
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
ACMDIS
2000
ACM
15 years 1 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...
76
Voted
PEWASUN
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we present EDAT, a tool designed for the analysis of trace files from network simulations and experiments. The EDAT framework encapsulates analysis steps in extensib...
IC
2001
14 years 11 months ago
2001
In this paper, we describe the design and implementation of an XML-Based Digital Video Library (XDVL) System. The system includes automatic processes from video creation through v...
93
Voted
COMPSEC
2004
14 years 9 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...