284 search results - page 17 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
186
click to vote
APN
2000
Springer
15 years 9 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
157
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
204
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
268
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...
128
click to vote
WSC
2008
15 years 8 months ago
2008
The what-if analysis process is essential in symbiotic simulation systems. It is responsible for creating a number of alternative what-if scenarios and evaluating their performanc...