768 search results - page 107 / 154 » Specification-Based Testing of User Interfaces |
133
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
145
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
A Pin-Grid-Array (PGA) package router is presented in this paper. Given a chip cavity with a number of I/O pads around its boundary and an equivalent number of pins distributed on...
161
click to vote
COOPIS
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper describes MobJeX, an adaptive Java based application framework that uses a combination of pre-processing and runtime support to provide transparent object mobility (incl...
179
click to vote
CHI
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents MouseTrack as a web logging system that tracks mouse movements on websites. The system includes a visualization tool that displays the mouse cursor path follow...
128
click to vote
ACMDIS
1997
ACM
15 years 9 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...