488 search results - page 52 / 98 » Derivation of Java Monitors |
ICCAD
2000
IEEE
15 years 4 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
HASE
1997
IEEE
15 years 4 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
102
click to vote
EUROPAR
2000
Springer
2000
Springer
An Architecture for Web-Based Interaction and Steering of Adaptive Parallel/Distributed Applications
15 years 3 months ago
This paper presents an architecture for web-based interaction and steering of parallel/distributed scientific applications. The architecture is composed of detachable thin-clients ...
101
click to vote
ECLIPSE
2005
ACM
15 years 1 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
106
click to vote
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
The dependability of composite services is largely affected by their constituent Web services. Composite services have to operate in an open and dynamically changing environment i...