819 search results - page 124 / 164 » Using Assumptions to Distribute CTL Model Checking |
105
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— For a wide variety of sensor network environments, location information is unavailable or expensive to obtain. We propose a location-free, lightweight, distributed, and data-ce...
157
click to vote
BROADNETS
2007
IEEE
15 years 7 months ago
2007
IEEE
— Today, IEEE 802.11 Wireless LAN (WLAN) has become a prevailing solution for broadband wireless Internet access while Transport Control Protocol (TCP) is the dominant transport ...
121
Voted
ADHOC
2007
15 years 22 days ago
2007
Geographic protocols are very promising for wireless ad hoc and sensor networks due to the low state storage and low message overhead. Under certain idealized conditions, geograph...
107
Voted
HPDC
2007
IEEE
15 years 7 months ago
2007
IEEE
We study stochastic models to mitigate the risk of poor Quality-of-Service (QoS) in computational markets. Consumers who purchase services expect both price and performance guaran...
131
click to vote
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
Many current effectiveness measures incorporate simplifying assumptions about user behavior. These assumptions prevent the measures from reflecting aspects of the search process...