15421 search results - page 260 / 3085 » Dependability |
199
click to vote
QEST
2008
IEEE
16 years 2 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...
206
click to vote
RTSS
2008
IEEE
16 years 2 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...
201
click to vote
AINA
2007
IEEE
16 years 2 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...