9110 search results - page 1635 / 1822 » Formally-Based Design Evaluation |
236
click to vote
MM
2010
ACM
15 years 1 months ago
2010
ACM
Social tagging can provide rich semantic information for largescale retrieval in music discovery. Such collaborative intelligence, however, also generates a high degree of tags un...
144
click to vote
MOBIHOC
2010
ACM
15 years 1 months ago
2010
ACM
Barrier coverage is a critical issue in wireless sensor networks for various battlefield and homeland security applications. The goal is to effectively detect intruders that attem...
152
click to vote
MOBIHOC
2010
ACM
15 years 1 months ago
2010
ACM
Dynamic spectrum auction is an effective solution to provide spectrum on-demand to many small wireless networks. As the number of participants grows, bidder collusion becomes a se...
162
click to vote
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
147
click to vote
SECON
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Today's mobile devices support many wireless technologies to achieve ubiquitous connectivity. Economic and energy constraints, however, drive the industry to impleme...