Sciweavers

2274 search results - page 247 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
ICAS
2006
IEEE
128views Robotics» more  ICAS 2006»
16 years 18 days ago
The AML Approach to Modeling Autonomic Systems
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
Radovan Cervenka, Dominic A. P. Greenwood, Ivan Tr...
ISM
2005
IEEE
120views Multimedia» more  ISM 2005»
16 years 4 days ago
MML: A Language for Modeling Interactive Multimedia Applications
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
Andreas Pleuß
EMSOFT
2003
Springer
15 years 11 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
BPM
2007
Springer
124views Business» more  BPM 2007»
15 years 10 months ago
SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...
Florian Gottschalk, Wil M. P. van der Aalst, Moniq...
ECEASST
2008
84views more  ECEASST 2008»
15 years 6 months ago
An Incremental OCL Compiler for Modeling Environments
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
Tamás Vajk, Gergely Mezei, Tihamer Levendov...