5900 search results - page 48 / 1180 » Dependable Systems |
RTA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We show how polynomial path orders can be employed efficiently in conjunction with weak innermost dependency pairs to automatically certify the polynomial runtime comple...
SAFECOMP
2009
Springer
14 years 1 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In this paper we introduce an analysis of dependability of an elementary yet critical component of robotic systems designed to operate in environments shared with human...
JNW
2006
13 years 8 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...