1833 search results - page 309 / 367 » Mechanized Verification with Sharing |
166
click to vote
TMC
2010
15 years 2 months ago
2010
—In wireless networks, node cooperation has been exploited as a data relaying mechanism for decades. However, the wireless channel allows for much richer interaction among nodes....
131
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Cognitive radios (CRs) are devices that access spectrum opportunistically taking advantage of unused portions of licensed spectrum. Therefore, depending on the licensed r...
180
click to vote
IOT
2010
15 years 2 months ago
2010
Abstract--Many efforts are centered around creating largescale networks of "smart things" found in the physical world (e.g., wireless sensor and actuator networks, embedd...
147
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Millions of DNA sequences (reads) are generated by Next Generation Sequencing machines everyday. There is a need for high performance algorithms to map these sequences to the refer...
146
click to vote
SECRYPT
2010
15 years 2 months ago
2010
Nanotechnology is enabling the development of devices in a scale ranging from one to a few one hundred nanometers. Nanonetworks, i.e., the interconnection of nano-scale devices, a...