Sciweavers

1054 search results - page 81 / 211
» Model Transformations in the Model-Based Development of Real...
Sort
View
BMCBI
2007
147views more  BMCBI 2007»
13 years 9 months ago
Modeling biochemical transformation processes and information processing with Narrator
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
Johannes J. Mandel, Hendrik Fuß, Niall M. Pa...
CCS
2003
ACM
14 years 2 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
ENTCS
2008
106views more  ENTCS 2008»
13 years 9 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
FSKD
2005
Springer
212views Fuzzy Logic» more  FSKD 2005»
14 years 2 months ago
Application of Fuzzy Similarity to Prediction of Epileptic Seizures Using EEG Signals
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
Xiaoli Li, Xin Yao
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
14 years 2 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...