20 search results - page 2 / 4 » Software Fault Tolerance of Concurrent Programs Using Contro... |
COMPSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
TASE
2010
IEEE
13 years 28 days ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
ADAEUROPE
2000
Springer
13 years 10 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
ASPLOS
2006
ACM
14 years 6 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...