MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ahmed Helmy" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 99 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Efficient Resource Discovery in Wireless AdHoc Networks: Contacts Do Help  
  • by Ahmed Helmy — 2004 — Chapter in: Resource Management in Wireless Networking
  • … The resource discovery problem poses new challenges in infrastructure-less wireless networks. Due to the highly dynamic nature of these networks and their bandwidth and energy constraints, there is a pressing need for energy-aware communicationefficient resource discovery protocols. This chapter p…
  • Cited by 4 (2 self)Add To MetaCart
  • A Survey on Kernel Specification and Verification  
  • by Ahmed Helmy — 1997 — TR 97-654 of CS at USC
  • …Formal methods have been traditionally used to model and verify operating systems. Different methods verify different operating systems properties, such as process management, mutual exclusion and inter-process communication. Moreover, various methods may capture different design errors, such as dea…
  • Cited by 7 (6 self)Add To MetaCart
  • TRANSFER: Transactions Routing for Ad-hoc NetworkS with eFficient EneRgy  
  • by Ahmed Helmy — 2003 — IEEE Global Communications Conference (GLOBECOM
  • …In future ad hoc networks, transactions are expected to become one of the primary types of flows. Transactions require only a very small number of packets to complete. Hence, providing optimal (or shortest path) routes to such transfers consumes more energy than the actual transfer. Conventional rou…
  • Cited by 3 (2 self)Add To MetaCart
  • Mobility-Assisted Resolution of Queries in Large-Scale Mobile Sensor Networks (MARQ)  
  • by Ahmed Helmy — 2003 — Computer Networks Journal – Elsevier Science - Special Issue on Wireless Sensor Networks
  • …One of the most crucial aspects of the design of sensor networks is provisioning of e#cient query resolution and resource discovery. In many cases sensor networks are expected to be large-scale, and in some cases these sensors maybe installed on moving objects, rendering the query resolution problem…
  • Cited by 7 (4 self)Add To MetaCart
  • State Analysis and Aggregation Study for Multicast-based Micro Mobility  
  • by Ahmed Helmy — IEEE International Conference on Communications (ICC
  • …We propose intra-domain multicast-based mobility as a solution for IP mobility. Our architecture addresses problems with existing IP mobility proposals; mainly scalability and handoff performance. In our scheme mobility proxies are used to allocate per-domain multicast addresses to mobiles for use i…
  • Cited by 7 (2 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB