6274 search results - page 924 / 1255 » Proofs, Programs, Processes |
125
Voted
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
118
click to vote
AGILEDC
2004
IEEE
15 years 7 months ago
2004
IEEE
The Customer is the only non-developer role in eXtreme Programming (XP). The Customer's explicit responsibilities are to drive the project, providing project requirements (us...
129
Voted
AHS
2006
IEEE
15 years 7 months ago
2006
IEEE
A new hardware developmental model that shows strong robust transient fault-tolerant abilities and is motivated by embryonic development and a honeycomb structure is presented. Ca...
141
Voted
ARCS
2006
Springer
15 years 7 months 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...
136
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...