4109 search results - page 602 / 822 » User Interface Software Tools |
ACSAC
1999
IEEE
15 years 6 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...
124
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
119
click to vote
APCHI
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes a method for manipulating a threedimensional object without considering conventional three independent orthogonal views. We apply the direct manipulation to o...
98
Voted
CLUSTER
2004
IEEE
15 years 6 months ago
2004
IEEE
The complexity and cost of isolating the root cause of system problems in large parallel computers generally scales with the size of the system. Syslog messages provide a primary ...
111
click to vote
CHI
1995
ACM
15 years 6 months ago
1995
ACM
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...