15421 search results - page 77 / 3085 » Dependability |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: Open Source Software (OSS) development needs to be considered during software development as to whether to develop an OSS packages, and/or whether to develop with OSS. In this pa...
RTA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
ECBS
2003
IEEE
14 years 2 months ago
2003
IEEE
Autonomic Computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are selfconfiguring, self-healing, se...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper studies simple hyperchaotic circuits consisting of one linear 3-port voltage-controlled current source (ab. VCCS), two linear capacitors and one dependent switched capa...
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...