1940 search results - page 150 / 388 » Dependable Software: An Oxymoron |
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
MKWI
2008
13 years 11 months ago
2008
: The configuration of the collaboration environment has a significant influence on the development and the use of a collaboration tool. During the development process an optimal a...
TASE
2011
IEEE
13 years 1 months ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...
PEPM
2011
ACM
13 years 1 months ago
2011
ACM
Writing deterministic programs is often difficult for problems whose optimal solutions depend on unpredictable properties of the programs’ inputs. Difficulty is also encounter...