4693 search results - page 826 / 939 » Verifying Hybrid Systems |
144
click to vote
MOBIDE
2010
ACM
15 years 5 months 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...
155
click to vote
ADHOC
2007
15 years 5 months 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...
BMCBI
2008
15 years 5 months 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...
128
click to vote
CN
2008
15 years 5 months 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...
111
click to vote
CSI
2010
15 years 5 months 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...