1362 search results - page 102 / 273 » Model Checking Large Network Protocol Implementations |
115
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
117
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Data aggregation protocols can reduce the cost of communication, thereby extending the lifetime of sensor networks. Prior work on data aggregation protocols has focused on tree...
147
click to vote
SIGCOMM
1995
ACM
15 years 7 months ago
1995
ACM
Data copying and checksumming are the most expensive operations when doing high-bandwidth network IO over a highspeed network. Under some conditions, outboard buffering and checks...
165
click to vote
PHSN
1996
15 years 5 months ago
1996
Multicast (1:N) is now supported by a number of networks and communication protocols. A problem in this context is how to provide fully reliable data transmission to the receiver ...
158
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Scalable resource discovery services form the core of directory and other middleware services. Scalability requirements preclude centralized solutions. The need to have directory ...