Sciweavers

6662 search results - page 920 / 1333
» Mobile and Ubiquitous Computing
Sort
View
BROADNETS
2006
IEEE
16 years 1 months ago
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-P...
CRV
2006
IEEE
99views Robotics» more  CRV 2006»
16 years 1 months ago
The Nomad 200 and the Nomad SuperScout: Reverse engineered and resurrected
The Nomad 200 and the Nomad SuperScouts are among the most popular platforms used, for research in robotics. Built in the early 1990’s they were the base of choice for many mobil...
Arjun Chopra, Mark Obsniuk, Michael R. M. Jenkin
IIHMSP
2006
IEEE
148views Multimedia» more  IIHMSP 2006»
16 years 1 months ago
Video Streaming over 3G Networks with GOP-Based Priority Scheduling
— A bandwidth-efficient video streaming algorithm over the cdma2000 1x EV-DO network using GOP-based priority scheduling is proposed in this work. The proposed algorithm perform...
Yongjin Cho, Do-Kyoung Kwon, C. C. Jay Kuo, Renxia...
ISPDC
2006
IEEE
16 years 1 months ago
Video Stream Annotations for Energy Trade-offs in Multimedia Applications
Recent applications for distributed mobile devices, including multimedia video/audio streaming, typically process streams of incoming data in a regular, predictable way. The behav...
Radu Cornea, Alex Nicolau, Nikil Dutt
ROBIO
2006
IEEE
123views Robotics» more  ROBIO 2006»
16 years 1 months ago
Evolutionary Robotics, Anticipation and the Reality Gap
— Evolutionary Robotics provide efficient tools and approach to address automatic design of controllers for automous mobile robots. However, the computational cost of the optimi...
Cédric Hartland, Nicolas Bredeche