7766 search results - page 1071 / 1554 » Testing Nondeterminate Systems |
142
click to vote
SPIN
2004
Springer
15 years 11 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...
181
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
198
click to vote
WETICE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
172
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
199
click to vote
SP
1991
IEEE
15 years 9 months ago
1991
IEEE
SRI International’s real-time intrusion-detection expert system (IDES) system contains a statistical subsystem that observes behavior on a moniioreci cornpuier system and adapti...