110 search results - page 2 / 22 » Heterogeneous Reactive Systems Modeling and Correct-by-Const... |
IJCAI
2001
13 years 6 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
MEMOCODE
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
FDL
2005
IEEE
13 years 10 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
FORTEST
2008
13 years 6 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
A broad range of industries must be able to seamlessly integrate control applications using sensors distributed in the real world and IT applications supporting various business a...