3909 search results - page 713 / 782 » Extreme Model Checking |
NETGAMES
2003
ACM
14 years 3 months ago
2003
ACM
Plenty of work was contributed in the field of protocol design and performance evaluation of multi-hop networks. It is generally accepted that mobility has a huge impact on the p...
DSOM
2003
Springer
14 years 3 months ago
2003
Springer
Systems are becoming exceedingly complex to manage. As such, there is an increasing trend towards developing systems that are self-managing. Policy-based infrastructures have been ...
INFOCOM
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract— In this paper, we address the problem of determining an optimal topology for Bluetooth Wireless Personal Area Networks (BT-WPANs). In BT-WPANs, multiple communication c...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Pervasive computing devices (e.g., sensor networks, localization devices, cameras, etc.) are increasingly present in every aspect of our lives. These devices are able to generate ...
IWDC
2001
Springer
14 years 2 months ago
2001
Springer
Mobile Internet access is becoming extremely popular because users depend on the Internet for many activities in their daily routine. Satellites are well suited for mobile Interne...