2421 search results - page 277 / 485 » Consistency Management for Complex Applications |
145
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
115
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
169
Voted
GSN
2009
Springer
15 years 9 months ago
2009
Springer
The understanding of complex environmental phenomena, such as deforestation and epidemics, requires observations at multiple scales. This scale dependency is not handled well by to...
134
click to vote
SSS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...
144
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...