400 search results - page 57 / 80 » Moving Proofs-As-Programs into Practice |
WISA
2009
Springer
14 years 3 months ago
2009
Springer
Wireless mesh networks (WMNs) that are being increasingly deployed in communities and public places provide a relatively stable routing infrastructure and can be used for diverse c...
SIGECOM
2009
ACM
14 years 3 months ago
2009
ACM
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We present a measurement-parameterized performance study of deployment factors in wireless mesh networks using three performance metrics: client coverage area, backhaul...
IPSN
2007
Springer
14 years 2 months ago
2007
Springer
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
WISTP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...