3792 search results - page 206 / 759 » Techniques for Trusted Software Engineering |
130
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
132
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
165
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
137
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
137
click to vote
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...