12375 search results - page 120 / 2475 » Application networking on peer-to-peer networks |
160
click to vote
KBSE
2006
IEEE
16 years 15 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
151
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
149
click to vote
WCE
2007
15 years 7 months ago
2007
— Wireless Sensor Networks (WSNs) are spreading around in multiple fields of applications because they perform measuring tasks in a flexible way. This paper presents a survey on ...
176
click to vote
ADHOC
2010
15 years 6 months ago
2010
In this paper we investigate the possibility of a new type of application, namely multiplayer games, in a Vehicular Ad Hoc Network (VANET) environment. First, we analyze the avail...
142
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Over the past few years we have witnessed steady progress toward convergence in communications. We believe we are now witnessing nce beyond just media transport. Further, abstract ...