1271 search results - page 80 / 255 » On Simulation-Checking with Sequential Systems |
132
Voted
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
141
Voted
ECOOPWEXCEPTION
2000
Springer
2000
Springer
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
15 years 7 months ago
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...
123
Voted
GI
2010
Springer
15 years 17 days ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
118
Voted
HPDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Ever more scientists are employing large-scale distributed systems such as grids for their computational work, instead of tightly coupled high-performance computing systems. Howev...
104
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...