284 search results - page 17 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
160
click to vote
APN
2000
Springer
15 years 7 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...
134
click to vote
ICFP
2001
ACM
16 years 3 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...
162
Voted
EMSOFT
2011
Springer
14 years 3 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...
239
click to vote
ICDE
2007
IEEE
16 years 5 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...
109
click to vote
WSC
2008
15 years 6 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...