Sciweavers

1953 search results - page 193 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
AGTIVE
2007
Springer
15 years 7 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
WSC
2004
15 years 5 months ago
Decision Tree Module Within Decision Support Simulation System
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...
Mohamed Moussa, Janaka Y. Ruwanpura, George Jergea...
CASES
2006
ACM
15 years 9 months ago
Methods for power optimization in distributed embedded systems with real-time requirements
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
Razvan Racu, Arne Hamann, Rolf Ernst, Bren Mochock...
MMM
2006
Springer
111views Multimedia» more  MMM 2006»
15 years 9 months ago
Real-time 3D fire simulation using a spring-mass model
We present a method for real-time simulation of 3dimensional fire inspired by an old mechanical trick known as the “silk torch”. Motivated by the proven illusive effect of si...
Murat Balci, Hassan Foroosh
COMPSAC
1999
IEEE
15 years 8 months ago
Dynamic Software Architecture Slicing
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
Taeho Kim, Yeong-Tae Song, Lawrence Chung, Dung T....