5900 search results - page 45 / 1180 » Dependable Systems |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
EDCC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
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...
SRDS
1998
IEEE
14 years 1 months ago
1998
IEEE
Dependable distributed systems are difficult to build. This is particularly true if they have dependability requirements that change during the execution of an application, and are...