759 search results - page 66 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
112
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
87
Voted
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
82
Voted
CMPB
2008
15 years 23 days ago
2008
A cardiovascular system (CVS) model has previously been validated in simulated cardiac and circulatory disease states. It has also been shown to accurately capture all main hemody...
107
Voted
INTERSPEECH
2010
14 years 7 months ago
2010
In this paper we evaluate a method for generating synthetic speech at high speaking rates based on the interpolation of hidden semi-Markov models (HSMMs) trained on speech data re...
101
click to vote
JCB
2006
15 years 19 days ago
2006
As postgenomic biology becomes more predictive, the ability to infer rate parameters of genetic and biochemical networks will become increasingly important. In this paper, we expl...