537 search results - page 52 / 108 » tools 1999 |
ACSAC
1999
IEEE
15 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...
ASPDAC
1999
ACM
15 years 2 months ago
1999
ACM
: In VLSI circuits with deep sub-micron, the parasitic capacitance from interconnect is a very important factor determining circuit performances such as power and time-delay. The B...
CHI
1999
ACM
15 years 2 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
CSMR
1999
IEEE
15 years 2 months ago
1999
IEEE
We provide a strategy to restructure transaction processing systems. Such systems are core assets of most modern business operations, so their enhancement is crucial. Before large...
ICAIL
1999
ACM
15 years 2 months ago
1999
ACM
Intelligent Jurisprudence Research (IJR) is a concept that consists in performing jurisprudence research with a computational tool that employs Artificial Intelligence (AI) techni...