1022 search results - page 151 / 205 » New models and algorithms for programmable networks |
106
Voted
ICALP
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
94
Voted
FORTE
1998
15 years 1 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
123
Voted
MSWIM
2005
ACM
15 years 6 months ago
2005
ACM
Wireless Local Area Networks (WLAN) are being deployed at a rapid pace and in different environments. As a result, the demand for supporting a diverse range of applications over w...
KBSE
2000
IEEE
15 years 5 months 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...
139
Voted
WOWMOM
2005
ACM
15 years 6 months ago
2005
ACM
Ad-hoc wireless networks with multi-rate radios (such as 802.11a, b, g) require a new class of MAC/PHY aware metrics that take into account factors such as physical-layer link spe...