Sciweavers

2324 search results - page 156 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
110
Voted
SEKE
2010
Springer
14 years 8 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
ISM
2005
IEEE
138views Multimedia» more  ISM 2005»
15 years 3 months ago
3DSEAM: a model for annotating 3D scenes using MPEG-7
The progress and the continuous evolution of computer capacities, as well as the emergence of the X3D standard have recently boosted the 3D domain. Associating some semantics with...
Ioan Marius Bilasco, Jérôme Gensel, M...
72
Voted
POLICY
2005
Springer
15 years 3 months ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
ICWS
2007
IEEE
14 years 11 months ago
A Semantic Web Services-based Infrastructure for Context-Adaptive Process Support
Current technologies aimed at supporting processes – whether it is a business or learning process – primarily follow a metadata- and data-centric paradigm. Whereas process met...
Stefan Dietze, Alessio Gugliotta, John Domingue
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 2 months ago
Input design using Markov chains for system identification
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
Chiara Brighenti, Bo Wahlberg, Cristian R. Rojas