1980 search results - page 250 / 396 » Compositional Model Checking of Real Time Systems |
115
Voted
DSD
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
157
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Reconstructing regulatory networks from gene expression profiles is a challenging problem of functional genomics. In microarray studies the number of samples is often ...
152
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
Statistical user simulation is an efficient and effective way to train and evaluate the performance of a (spoken) dialog system. In this paper, we design and evaluate a modular da...
151
Voted
NETWORK
2008
15 years 3 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
129
Voted
TNN
2008
15 years 3 months ago
2008
Aging effects, environmental changes, thermal drifts, and soft and hard faults affect physical systems by changing their nature and behavior over time. To cope with a process evolu...