3147 search results - page 362 / 630 » Open-Source Model Checking |
131
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
156
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
131
click to vote
TCS
2002
15 years 4 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
139
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
142
click to vote
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...