2441 search results - page 329 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
123
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
124
click to vote
SAFECOMP
2009
Springer
15 years 11 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
133
click to vote
SADFE
2008
IEEE
15 years 10 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
133
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
137
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...