1362 search results - page 155 / 273 » Model Checking Large Network Protocol Implementations |
120
Voted
ISTA
2004
15 years 4 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
119
Voted
KDD
2009
ACM
16 years 3 months ago
2009
ACM
In large social networks, nodes (users, entities) are influenced by others for various reasons. For example, the colleagues have strong influence on one's work, while the fri...
175
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Traditional wireless broadcast protocols rely heavily on the 802.11-based CSMA/CA model, which avoids interference and collision by conservatively scheduling transmissions. While C...
140
click to vote
ITIIS
2008
15 years 3 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
121
click to vote
CLUSTER
2002
IEEE
15 years 8 months ago
2002
IEEE
While a number of User-Level Protocols have been developed to reduce the gap between the performance capabilities of the physical network and the performance actually available, a...