1940 search results - page 44 / 388 » Dependable Software: An Oxymoron |
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
FSTTCS
2006
Springer
14 years 13 days ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
LCPC
2000
Springer
14 years 11 days ago
2000
Springer
The internal mechanism used for a dependence test constrains its accuracy and determines its speed. The internal mechanism used for our Access Region Test (ART) is fundamentally d...
IWPC
2010
IEEE
13 years 7 months ago
2010
IEEE
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...