334 search results - page 37 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
148
click to vote
AAAI
2010
15 years 4 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
168
click to vote
CISS
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
144
Voted
SIAMCOMP
2010
15 years 2 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
149
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
146
click to vote
SI3D
2005
ACM
15 years 9 months ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...