3348 search results - page 368 / 670 » Around and Around |
177
click to vote
SAS
2001
Springer
16 years 13 hour ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
191
Voted
WELCOM
2001
Springer
16 years 9 hour ago
2001
Springer
Abstract. We introduce FAucS, a software testbed for studying automated agent bidding strategies in simulated auctions, specifically the United States FCC wireless frequency spect...
212
Voted
ACSAC
2000
IEEE
16 years 8 hour ago
2000
IEEE
We present a vision of computing environments in which enterprise networks are built using untrusted public infrastructures. The vision allows for networks to dynamically change d...
172
Voted
ACSAC
2000
IEEE
16 years 8 hour ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
199
click to vote
ATS
2000
IEEE
16 years 7 hour ago
2000
IEEE
Testing of embedded cores is very difficult in SOC (system-on-a-chip), since the core user may not know the gate level implementation of the core, and the controllability and obse...