Sciweavers

29147 search results - page 12 / 5830
» System Modeling Resurrected
Sort
View
BMCBI
2010
126views more  BMCBI 2010»
14 years 7 months ago
Systematic integration of experimental data and models in systems biology
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
Peter Li, Joseph O. Dada, Daniel Jameson, Irena Sp...
EUROMICRO
2011
IEEE
13 years 9 months ago
Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
James H. Hill
AAAI
2012
13 years 5 days ago
Learning Behavior Models for Hybrid Timed Systems
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
Oliver Niggemann, Benno Stein, Asmir Vodencarevic,...
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 7 days ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
IJON
2002
65views more  IJON 2002»
14 years 9 months ago
A general framework for neurobiological modeling: an application to the vestibular system
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...
Chris Eliasmith, M. Brandon Westover, Charles H. A...