Sciweavers

9105 search results - page 42 / 1821
» Design of the MUC-6 evaluation
Sort
View
ATVA
2004
Springer
106views Hardware» more  ATVA 2004»
14 years 1 months ago
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
Serge Haddad, Jean-Michel Ilié, Kais Klai
ISPA
2004
Springer
14 years 1 months ago
A Fault Tolerance Protocol for Uploads: Design and Evaluation
This paper investigates fault tolerance issues in Bistro, a wide area upload architecture. In Bistro, clients first upload their data to intermediaries, known as bistros. A destin...
Leslie Cheung, Cheng-Fu Chou, Leana Golubchik, Yan...
AINA
2003
IEEE
14 years 1 months ago
Design, Implementation and Performance Evaluation of IP-VPN
Network security has always been a significant issue, but a recognized priority today due to the popular of internet. The issue is not if security should be implemented on a netwo...
Jin-Cherng Lin, Ching-Tien Chang, Wei-Tao Chung