5900 search results - page 205 / 1180 » Dependable Systems |
158
click to vote
ISORC
2006
IEEE
16 years 3 days ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
148
click to vote
SIAMCO
2010
15 years 4 months ago
2010
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...
148
click to vote
CIT
2007
Springer
15 years 10 months ago
2007
Springer
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...
186
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
169
click to vote
HICSS
2007
IEEE
16 years 13 days ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...