3801 search results - page 37 / 761 » An Approach to Modeling Software Safety |
ICPP
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
68
Voted
ER
2008
Springer
14 years 11 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
ISCAS
2007
IEEE
15 years 3 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
WOSP
2000
ACM
15 years 2 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
FASE
2000
Springer
15 years 1 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...