1866 search results - page 309 / 374 » Dynamic instantiation-checking components |
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
129
click to vote
TES
2001
Springer
15 years 4 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
114
click to vote
CCS
1999
ACM
15 years 4 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise specifications that characterize normal and abnormal network packet sequences. Our speci...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
CCS
1998
ACM
15 years 4 months ago
1998
ACM
State-of-the-art and emerging scientific applications require fast access to large quantities of data and commensurately fast computational resources. Both resources and data are ...