23406 search results - page 4504 / 4682 » Architecture, Design, Implementation |
212
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
157
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Misconfigured P2P traffic caused by bugs in volunteer-developed P2P software or by attackers is prevalent. It influences both end users and ISPs. In this paper, we discover and stu...
164
click to vote
MASS
2010
15 years 2 months ago
2010
With the popularity of wireless devices and the increase of computing and storage resources, there are increasing interests in supporting mobile computing techniques. Particularly...
144
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...
153
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...