272 search results - page 41 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
108
click to vote
ITIIS
2008
14 years 11 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, ...
104
click to vote
COMCOM
1998
14 years 11 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
115
click to vote
DFMA
2005
IEEE
15 years 5 months ago
2005
IEEE
As various multimedia communication services are increasingly required by Internet users, several signaling protocols have been proposed for the efficient control of multimedia co...
JSAC
2006
14 years 11 months ago
2006
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...