1567 search results - page 232 / 314 » Research Issues in Ubiquitous Computing |
IEEESCC
2010
IEEE
14 years 25 days ago
2010
IEEE
—There is a global consensus on the need to reduce our collective carbon footprint. While much research attention has focused on developing alternative energy sources, automotive...
EUC
2007
Springer
14 years 25 days ago
2007
Springer
A Wireless Sensor Network (WSN) composed of tiny sensor nodes may operate in an unfavorable terrain. The coupling of inherent limitations and harsh environments makes WSNs fallible...
RTA
2010
Springer
14 years 25 days ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
WCNC
2010
IEEE
14 years 25 days ago
2010
IEEE
—In this paper, we study node connectivity in multi-hop wireless networks. Nodal degree of connectivity as one of the fundamental graph properties is the basis for the study of n...
GI
2007
Springer
14 years 25 days ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...