Sciweavers

9110 search results - page 72 / 1822
» Formally-Based Design Evaluation
Sort
View
VRML
2004
ACM
15 years 10 months ago
Model-based design, generation, and evaluation of virtual user interfaces
Jean Vanderdonckt, Chow Kwok Chieu, Laurent Bouill...
ATVA
2004
Springer
106views Hardware» more  ATVA 2004»
15 years 10 months ago
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
Serge Haddad, Jean-Michel Ilié, Kais Klai
ISPA
2004
Springer
15 years 10 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
15 years 9 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