2740 search results - page 39 / 548 » Typing the Specialization Interface |
ACSAC
1999
IEEE
14 years 2 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...
IFIP
1998
Springer
14 years 2 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
DEBU
2010
13 years 10 months ago
2010
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
In this paper we present g-stalt, a gestural interface for interacting with video. g-stalt is built upon the g-speak spatial operating environment (SOE) from Oblong Industries. Th...
IJRR
2000
13 years 9 months ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...