1755 search results - page 59 / 351 » An efficient simulation algorithm based on abstract interpre... |
111
click to vote
TMC
2011
14 years 4 months ago
2011
Abstract—Recently, many efforts have been made to develop more efficient Inter-Vehicle Communication (IVC) protocols for ondemand route planning according to observed traffic con...
TELSYS
2002
14 years 9 months ago
2002
Abstract. In this paper, we present a receiver-oriented, request/response protocol for the Web that is compatible with the dynamics of TCP's congestion control algorithm. The ...
VLSID
1999
IEEE
15 years 2 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
117
click to vote
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This paper presents a solution to interactive navigation planning and real-time simulation of a very large number of entities moving in a virtual environment. From the ...
103
click to vote
APWEB
2008
Springer
14 years 11 months ago
2008
Springer
Resource searching in the current peer-to-peer (P2P) applications is mainly based on the keyword match. However, more and more P2P applications require an efficient semantic search...