314 search results - page 55 / 63 » The Complexity of Coverage |
112
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
102
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
133
click to vote
MOBISYS
2009
ACM
16 years 2 months ago
2009
ACM
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
228
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
135
click to vote
EDBT
2002
ACM
16 years 1 months ago
2002
ACM
Abstract. Estimating the sizes of query results, and intermediate results, is crucial to many aspects of query processing. In particular, it is necessary for effective query optimi...