6608 search results - page 1225 / 1322 » On the Completeness of Model Checking |
157
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
120
click to vote
CSEE
2000
Springer
15 years 8 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
114
click to vote
RAID
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we propose a real-time anomaly detection method for detecting TCP SYN-flooding attacks. This method is based on the intensities of SYN segments which are measured on...
124
click to vote
ICPP
1997
IEEE
15 years 8 months ago
1997
IEEE
Most of recent research on distributed shared memory (DSM)systems have focused on either careful design of node controllersor cache coherenceprotocols. Whileevaluating these desig...
146
click to vote
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
Range imaging offers an inexpensive and accurate means for digitizing the shape of three-dimensional objects. Because most objects self occlude, no single range image suffices to ...