1541 search results - page 132 / 309 » Tools and Techniques for Model Checking Networked Programs |
161
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
134
click to vote
WSC
2001
15 years 5 months ago
2001
This paper presents methodologies to represent satellite communications (SATCOM) behaviors in network simulation. This paper is based on tasks performed for generic network warfar...
139
click to vote
CMSB
2010
Springer
14 years 11 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
134
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
191
click to vote
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...