1187 search results - page 170 / 238 » On Modeling Cross-Talk Faults |
123
Voted
GI
2007
Springer
15 years 7 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
120
Voted
WCE
2007
15 years 4 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
118
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
We consider a mixed linear system model, with both continuous and discrete inputs and outputs, described by a coefficient matrix and a set of noise variances. When the discrete inp...
148
Voted
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
138
click to vote
ISCC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In-network storage of data in wireless sensor networks contributes to reduce the communications inside the network and to favor data aggregation. In this paper, we consi...