4233 search results - page 348 / 847 » Three Paths to Effectiveness |
198
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
163
click to vote
MSS
2005
IEEE
16 years 12 days ago
2005
IEEE
Storage virtualization is becoming more and more important due to the increasing gap between application requirements and the limited functionality offered by storage systems. In...
166
click to vote
PADS
2005
ACM
16 years 11 days ago
2005
ACM
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
170
click to vote
PAM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Round trip times (RTTs) play an important role in Internet measurements. In this paper, we explore some of the ways in which routing policies impact RTTs. In particular, ...
162
click to vote
WADS
2001
Springer
15 years 11 months ago
2001
Springer
This paper investigates the problem of time-optimum movement planning in two and three dimensions for a point robot which has bounded control velocity through a set of n polygonal...