2765 search results - page 321 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
183
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
203
click to vote
ICMLA
2009
15 years 4 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
250
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
195
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
178
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...