4890 search results - page 747 / 978 » From system specifications to component behavioral models |
124
click to vote
DSOM
2000
Springer
15 years 5 months ago
2000
Springer
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
120
click to vote
PVM
1997
Springer
15 years 4 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
105
Voted
BMCBI
2006
15 years 24 days ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
109
Voted
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
138
click to vote
ISI
2006
Springer
15 years 22 days ago
2006
Springer
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...