21183 search results - page 3907 / 4237 » Adaptive Testing by Test |
126
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
165
click to vote
VIZSEC
2004
Springer
15 years 10 months ago
2004
Springer
This paper examines the dramatic visual fingerprints left by a wide variety of popular network attack tools in order to better understand the specific methodologies used by attack...
164
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
It is well established that bitmap indices are efficient for read-only attributes with low attribute cardinalities. For an attribute with a high cardinality, the size of the bitma...
181
click to vote
WAW
2004
Springer
15 years 10 months ago
2004
Springer
We develop an algorithm to detect community structure in complex networks. The algorithm is based on spectral methods and takes into account weights and links orientations. Since t...
139
click to vote
IEEEARES
2010
IEEE
15 years 10 months ago
2010
IEEE
—Today’s rich service offer in the World Wide Web increasingly requires the disclosure of personal user data. Service providers’ appetite for personal user data, however, is ...