3052 search results - page 23 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
ICRA
1994
IEEE
13 years 11 months ago
1994
IEEE
The Self-Mobile Space Manipulator (SM2) has evolved to adapt to the new pre-integrated I-beam structure of the Space Station Freedom (SSF). In this paper, we first briefly overvie...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
ACMICEC
2006
ACM
14 years 1 months ago
2006
ACM
Applications and digital goods for mobile devices have been around for more than a decade. Recent technology development has also driven the use of mobile commerce technology. Mob...
ARCS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Accurately simulating user movements in Mobile Ad hoc Networks (MANETs) is very important to the prediction of actual network and user performance. Therefore, using a realistic ...