4098 search results - page 288 / 820 » Sound mobility models |
144
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
173
click to vote
MOBIHOC
2001
ACM
16 years 6 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
202
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— What is the shortest or fastest path a mobile robot can follow between two configurations in the unobstructed plane? The answer to this fundamental question is only known anal...
148
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Mobile agent systems have many attractive features including asynchrony, openness, dynamicity and anonymity, which makes them indispensable in designing complex modern application...
178
click to vote
ISPAN
1999
IEEE
15 years 11 months ago
1999
IEEE
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...