108 search results - page 8 / 22 » Beyond bowling together |
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
PERVASIVE
2009
Springer
14 years 4 months ago
2009
Springer
Research has demonstrated that information workers often manage several different computing devices in an effort to balance convenience, mobility, input efficiency, and content rea...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—We use a steerable beam directional antenna mounted on a moving vehicle to localize roadside WiFi access points (APs), located outdoors or inside buildings. Localizing APs is an...
DASFAA
2007
IEEE
14 years 4 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
ISCC
2007
IEEE
14 years 4 months ago
2007
IEEE
It is beyond any doubt that the unpredictable nature of the today’s Internet has tremendous impact on the transmission of video streams. With respect to the realtime nature of v...