1362 search results - page 61 / 273 » Model Checking Large Network Protocol Implementations |
146
click to vote
JCP
2007
15 years 4 months ago
2007
—The computational Grid concept is gaining great popularity as the best way to deliver access to a wide range of distributed computing and data resources. But, as Grids move from...
LCN
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a new network device to be located in network edge nodes. The device can deal with congestion conditions that may arise when, for example, a home or SME custo...
125
click to vote
IJIT
2004
15 years 5 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
127
Voted
DAC
2007
ACM
15 years 8 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
178
click to vote
JCM
2008
15 years 4 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...