3742 search results - page 721 / 749 » On the Use of Formal Techniques for Validation |
NDSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Enterprise networks today carry a range of mission critical communications. A successful worm attack within an enterprise network can be substantially more devastating to most com...
101
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
The sustained push toward smaller and smaller technology sizes has reached a point where device reliability has moved to the forefront of concerns for next-generation designs. Sil...
108
click to vote
INFOVIS
2005
IEEE
15 years 7 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
121
click to vote
SIGMETRICS
2005
ACM
15 years 7 months ago
2005
ACM
- Since many Web applications employ a multi-tier architecture, in this paper, we focus on the problem of analytically modeling the behavior of such applications. We present a mode...
115
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...