1362 search results - page 77 / 273 » Model Checking Large Network Protocol Implementations |
164
click to vote
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
118
Voted
INFOCOM
1998
IEEE
15 years 8 months ago
1998
IEEE
Reliable sender-based one-to-many protocols do not scale well due mainly to implosion caused by excessive rate of feedback packets arriving from receivers. We show that this probl...
146
click to vote
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
: In this paper, simulation-based performance evaluation of the Wireless Application Protocol (WAP) Transport Lay er Protocol, which may be suitable for Combat Net Radio (CNR), is ...
127
click to vote
WAC
2004
Springer
15 years 9 months ago
2004
Springer
The goal of this research is to create robust execution circuits for communication software which can distribute over a network and which continues to provide its service despite p...
140
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
Graphs or networks can be used to model complex systems. Detecting community structures from large network data is a classic and challenging task. In this paper, we propose a nove...