20126 search results - page 3318 / 4026 » Timed Transition Systems |
209
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
203
click to vote
MOBICOM
2009
ACM
16 years 2 months ago
2009
ACM
—Neighbor discovery1 is one of the first steps in the initialization of a wireless ad hoc network. In this paper, we design and analyze practical algorithms for neighbor discove...
191
click to vote
SIGIR
2009
ACM
16 years 2 months ago
2009
ACM
We proposed and implemented a novel clustering algorithm called LAIR2, which has constant running time average for on-the-fly Scatter/Gather browsing [4]. Our experiments showed ...
234
click to vote
ICDCSW
2008
IEEE
16 years 2 months ago
2008
IEEE
—In its current art, peer-to-peer streaming solution has been mainly employed in the domain of live event broadcasting. In such a paradigm, users are required to simultaneously p...
226
click to vote
PIMRC
2008
IEEE
16 years 2 months ago
2008
IEEE
—Highways are an essential component of our society because they are critical to quality of life and to local and national economies. Under good conditions, highways provide a sa...