4693 search results - page 826 / 939 » Verifying Hybrid Systems |
101
Voted
MOBIDE
2010
ACM
15 years 28 days ago
2010
ACM
Traditional location-based services recommend nearest objects to the user by considering their spatial proximity. However, an object not only has its distance but also has its dir...
110
Voted
ADHOC
2007
15 years 26 days ago
2007
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...
52
Voted
BMCBI
2008
15 years 25 days ago
2008
Background: MicroRNAs are small non-coding RNA gene products that play diversified roles from species to species. The explosive growth of microRNA researches in recent years prove...
88
Voted
CN
2008
15 years 25 days ago
2008
In this paper, we propose a low-complexity auction framework to distribute spectrum in real-time among a large number of wireless users with dynamic traffic. Our design consists o...
72
Voted
CSI
2010
15 years 24 days ago
2010
Current electronic voting systems are not sufficient to satisfy trustworthy elections as they do not provide any proofs or confirming evidences of their honesty. This lack of trust...