1919 search results - page 160 / 384 » Recent Extensions to Traviando |
136
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
211
click to vote
TCSB
2010
15 years 2 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
140
click to vote
TMC
2010
15 years 2 months ago
2010
—Recent years have witnessed the deployments of wireless sensor networks in a class of mission-critical applications such as object detection and tracking. These applications oft...
147
click to vote
TPDS
2010
15 years 2 months ago
2010
—Power control is becoming a key challenge for effectively operating a modern data center. In addition to reducing operating costs, precisely controlling power consumption is an ...
176
click to vote
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
—In wireless sensor networks (WSN), stochastic node dropping and unpredictable node failure greatly impair coverage, creating sensing holes, while locally redundant sensors exist...