1980 search results - page 281 / 396 » Compositional Model Checking of Real Time Systems |
130
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
150
Voted
BMCBI
2007
15 years 3 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 ...
113
click to vote
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
Abstract. The development of a 3D image guidance environment will significantly enhance the performance of minimally invasive robotically assisted cardiac surgery. We have previous...
119
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
126
click to vote
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...