1894 search results - page 150 / 379 » Towards Mobile Reasoning |
179
click to vote
INFOCOM
2006
IEEE
15 years 12 months ago
2006
IEEE
— Wireless local area networks (WLANs) are emerging as a popular technology for access to the Internet and enterprise networks. In the long term, the success of WLANs depends on ...
165
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
Mobile clients have unusual needs for sending and receiving multimedia data. The traditional client/server paradigm does not take into account variable network conditions; thus tr...
164
click to vote
IDMS
1997
Springer
15 years 9 months ago
1997
Springer
With the evolving availability of wireless communication servicesand of affordable mobile devices such as notebooks or Personal Digital Assistants, mobile computing is becoming wid...
163
click to vote
CN
2010
15 years 6 months ago
2010
Simulation is a cost effective, fast and flexible alternative to test-beds or practical deployment for evaluating the characteristics and potential of mobile ad hoc networks. Sinc...
177
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...