Sciweavers

5900 search results - page 216 / 1180
» Dependable Systems
Sort
View
NIPS
1994
15 years 7 months ago
Combining Estimators Using Non-Constant Weighting Functions
This paper discusses the linearly weighted combination of estimators in which the weighting functions are dependent on the input. We show that the weighting functions can be deriv...
Volker Tresp, Michiaki Taniguchi
160
Voted
ARCS
1997
Springer
15 years 10 months ago
Hardware-Supported Fault Tolerance for Multiprocessors
To provide a computing system to be dependable fault tolerance mechanisms have to be included. Especially massive parallelism represents a new challenge for fault tolerance. In th...
Mario Dal Cin, Wolfgang Hohl, Volkmar Sieh
PDP
2007
IEEE
16 years 13 days ago
A Self-Aware Clock for Pervasive Computing Systems
The paper addresses the challenges and opportunities of instrumenting pervasive computing systems with a logical clock, aware of the quality of synchronization with respect to a t...
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Fala...
FAABS
2004
Springer
15 years 11 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
IEEEARES
2007
IEEE
16 years 14 days ago
A Pattern System for Security Requirements Engineering
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
Denis Hatebur, Maritta Heisel, Holger Schmidt