Sciweavers

1107 search results - page 67 / 222
» Variability Management on Behavioral Models
Sort
View
WSC
2008
15 years 3 months ago
Constructing business simulations with service patterns
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
Richard B. Lam
KBSE
2007
IEEE
15 years 7 months ago
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 7 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
AAAI
1994
15 years 2 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
CLEIEJ
2004
137views more  CLEIEJ 2004»
15 years 1 months ago
A Component-based Product Line for Workflow Management Systems
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...
Itana Maria de Souza Gimenes, Fabrício Rica...