Sciweavers

1081 search results - page 142 / 217
» CODES: An Integrated Approach to Composable Modeling and Sim...
Sort
View
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 4 months ago
Hybrid moment computation algorithm for biochemical reaction networks
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
Yun-Bo Zhao, Jongrae Kim, João Pedro Hespan...
BIBE
2005
IEEE
116views Bioinformatics» more  BIBE 2005»
14 years 2 months ago
Stochastic Model of Protease-Ligand Reactions
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
Paul E. Anderson, Douglas W. Raiford, Deacon J. Sw...
DSRT
2008
IEEE
14 years 3 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ENTCS
2010
161views more  ENTCS 2010»
13 years 6 months ago
Bone Remodelling in BioShape
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
Federico Buti, Diletta Cacciagrano, Flavio Corradi...
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
14 years 1 months ago
Efficient High-Level modeling in the networking domain
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
Christian Zebelein, Joachim Falk, Christian Haubel...