Sciweavers

9124 search results - page 77 / 1825
» Requirements-Based Design Evaluation
Sort
View
VRML
2004
ACM
15 years 11 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...