15421 search results - page 260 / 3085 » Dependability |
177
Voted
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
180
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
181
Voted
AFP
2008
Springer
16 years 1 months ago
2008
Springer
169
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...