2096 search results - page 253 / 420 » Modeling stream processing applications for dependability ev... |
144
click to vote
CSDA
2007
15 years 6 months ago
2007
Nonlinear random effects models with finite mixture structures are used to identify polymorphism in pharmacokinetic/ pharmacodynamic (PK/PD) phenotypes. An EM algorithm for maxim...
164
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
208
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
151
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
161
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Rapid development of information technology such as mobile terminals and GPS systems enabled information services that provide location-oriented information based on users’ posit...