4350 search results - page 174 / 870 » Case studies for contract-based systems |
167
click to vote
TSE
2008
15 years 4 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
124
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—The Internet has witnessed a rapid growth in deployment of gossip-based protocol in many multicast applications. In a typical gossip-based protocol, each node independen...
166
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Computer vision researchers have recently proposed several local descriptor schemes. Due to lack of database support, however, these descriptors have only been evaluated using sma...
124
click to vote
NSDI
2008
15 years 6 months ago
2008
We present Hubble, a system that operates continuously to find Internet reachability problems in which routes exist to a destination but packets are unable to reach the destinatio...
133
click to vote
FAC
2008
15 years 4 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...