1890 search results - page 63 / 378 » Model-Based Testing in Practice |
130
click to vote
PPOPP
2009
ACM
16 years 12 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
124
click to vote
DCOSS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
115
click to vote
EUSAI
2007
Springer
15 years 6 months ago
2007
Springer
A low-cost kit of stick-on wireless sensors that transmit data indicating whenever various objects are being touched or used might aid ubiquitous computing research efforts on rapi...
CHI
2005
ACM
16 years 7 days ago
2005
ACM
Usability problems predicted by evaluation techniques are useful input to systems development; it is uncertain whether redesign proposals aimed at alleviating those problems are l...
107
click to vote
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—We recently proposed the Rate Control Protocol (RCP) as a way to minimize download times (or flow-completion times). Simulations suggest that if RCP were widely deployed, downl...