6042 search results - page 412 / 1209 » Repeated Observation Models |
179
click to vote
SAFECOMP
2007
Springer
16 years 29 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
177
click to vote
ISCIS
2004
Springer
16 years 6 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
198
click to vote
IDA
1999
Springer
15 years 11 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
162
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...
209
click to vote
MASCOTS
2010
15 years 8 months ago
2010
Mobility models have traditionally been tailored to specific application domains such as human, military, or ad hoc transportation scenarios. This tailored approach often renders a...