75 search results - page 10 / 15 » Verisim: Formal analysis of network simulations |
TIFS
2008
13 years 8 months ago
2008
In autonomous mobile ad-hoc networks, one major challenge is to stimulate cooperation among selfish nodes, especially when some nodes may be malicious. In this paper, we address co...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—A P2PTV system allows users to watch live video streams redistributed by other users via a peer-to-peer (P2P) network. In an ideal world, each peer in a P2P network would be abl...
KBSE
2000
IEEE
14 years 29 days ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract--We investigate knowledge exchange among commercial organizations, the rationale behind it, and its effects on the market. Knowledge exchange is known to be beneficial for...