7776 search results - page 1182 / 1556 » Maintaining Maintainability |
194
click to vote
TSE
2010
15 years 5 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
172
click to vote
UIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Runtime detection of contextual properties is one of the primary approaches to enabling context-awareness. Existing property detection schemes implicitly assume that cont...
201
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
— The tolerable packet-loss ratio of an Internet Protocol (IP) based wireless networks varies according to the specific services considered. File transfer for example must be er...
177
click to vote
WAIM
2010
Springer
15 years 5 months ago
2010
Springer
Materialized views which are derived from base relations and stored in the database are often used to speed up query processing. In this paper, we leverage them in a traceable peer...
190
click to vote
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
—With the ever increasing interest in multiple-input multiple-output (MIMO) cognitive radio (CR) systems, reducing the costs associated with RF-chains at the radio front end beco...