Sciweavers

8030 search results - page 1219 / 1606
» User Interface Softbots
Sort
View
ACSAC
1999
IEEE
15 years 11 months ago
Using Checkable Types in Automatic Protocol Analysis
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
Stephen H. Brackin
CA
1999
IEEE
15 years 11 months ago
Group Interaction in a Surround Screen Environment
This paper describes a setup using a surround screen environment (Extended Virtual Environment EVE dome) that we used to explore group interaction in real and virtual space. We ha...
Michael Hoch, Daniel Schwabe
ASPDAC
1999
ACM
116views Hardware» more  ASPDAC 1999»
15 years 11 months ago
An Automatic Router for the Pin Grid Array Package
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...
Shuenn-Shi Chen, Jong-Jang Chen, Sao-Jie Chen, Chi...
HICSS
1999
IEEE
115views Biometrics» more  HICSS 1999»
15 years 11 months ago
GIS-based Dynamic Traffic Congestion Modeling to Support Time-Critical Logistics
Time-critical logistics (TCL) refer to time-sensitive procurement, processing and distribution activities. A confounding factor is the transportation networks that contain these l...
Harvey J. Miller, Yi-Hwa Wu, Ming-Chih Hung
ICMCS
1999
IEEE
110views Multimedia» more  ICMCS 1999»
15 years 11 months ago
Interactive Maps for a Digital Video Library
The Informedia Digital Video Library contains over 1200 hours of video. Through automatic processing, descriptors are derived for the video to improve library access. A new extens...
Michael G. Christel, Andreas M. Olligschlaeger
« Prev « First page 1219 / 1606 Last » Next »