16725 search results - page 2922 / 3345 » Engineering Software Correctness |
163
click to vote
SENSYS
2005
ACM
16 years 10 days ago
2005
ACM
Despite their increasing sophistication, wireless sensor networks still do not exploit the most powerful of the human senses: vision. Indeed, vision provides humans with unmatched...
200
Voted
CCS
2005
ACM
16 years 9 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
194
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
212
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
182
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...