Sciweavers

6474 search results - page 302 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
AAAI
2008
15 years 9 months ago
An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure
When controlling dynamic systems, such as mobile robots in uncertain environments, there is a trade off between risk and reward. For example, a race car can turn a corner faster b...
Masahiro Ono, Brian C. Williams
EDBT
2009
ACM
144views Database» more  EDBT 2009»
15 years 10 months ago
Efficient maintenance techniques for views over active documents
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu
185
Voted
ADAEUROPE
2007
Springer
16 years 26 days ago
Enhancing Dependability of Component-Based Systems
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jean...
ISSADS
2005
Springer
16 years 5 days ago
Database System Architecture - A Walk Through Time: From Centralized Platform to Mobile Computing - Keynote Address
Classical distributed database systems monolithically offer distribution transparency and higher performance. This is made possible by making data available and closer to the appl...
Ali R. Hurson, Yu Jiao
156
Voted
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer