1940 search results - page 46 / 388 » Dependable Software: An Oxymoron |
ARCS
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
RE
2007
Springer
14 years 2 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and web applications. Though being ...