10159 search results - page 547 / 2032 » System Design Validation Using Formal Models |
166
click to vote
EDCC
1994
Springer
15 years 10 months ago
1994
Springer
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...
156
click to vote
MASCOTS
2001
15 years 7 months ago
2001
Enterprise storage systems depend on disk arrays for their capacity and availability needs. To design and maintain storage systems that efficiently satisfy evolving requirements, ...
175
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
190
click to vote
ENTCS
2010
15 years 3 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
167
click to vote
USENIX
2003
15 years 7 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...