9110 search results - page 1617 / 1822 » Formally-Based Design Evaluation |
164
click to vote
LISA
2008
15 years 6 months ago
2008
Play-on-demand is usually regarded as a feasible access mode for web content (including streaming video, web pages and so on), web services and some Software-As-A-Service (SaaS) a...
116
click to vote
USENIX
2007
15 years 6 months ago
2007
This paper presents SafeStore, a distributed storage system designed to maintain long-term data durability despite conventional hardware and software faults, environmental disrupt...
118
click to vote
NSDI
2008
15 years 6 months ago
2008
Much recent work on Byzantine state machine replication focuses on protocols with improved performance under benign conditions (LANs, homogeneous replicas, limited crash faults), ...
135
click to vote
USENIX
2008
15 years 6 months ago
2008
Network emulation is valuable largely because of its ability to study applications running on real hosts and "somewhat real" networks. However, conservatively allocating...
136
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...