Sciweavers

129 search results - page 12 / 26
» A Solution Framework on Fundamentals in Model Transformation
Sort
View
FASE
2004
Springer
14 years 15 days ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
IASTEDSEA
2004
13 years 10 months ago
XML-based programming language modeling: An approach to software engineering
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
Christian Reichel, Roy Oberhauser
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
14 years 2 months ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
BMCBI
2008
242views more  BMCBI 2008»
13 years 9 months ago
New time-scale criteria for model simplification of bio-reaction systems
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
Junwon Choi, Kyung-won Yang, Tai-yong Lee, Sang Yu...
EDOC
2006
IEEE
14 years 2 months ago
Model-Driven Dashboards for Business Performance Reporting
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
Pawan Chowdhary, Themis Palpanas, Florian Pinel, S...