245 search results - page 15 / 49 » The Use of Multithreading for Exception Handling |
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of sophisticated...
EUC
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
SEW
2006
IEEE
14 years 2 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
ENTCS
2007
13 years 8 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...