1362 search results - page 188 / 273 » Model Checking Large Network Protocol Implementations |
166
click to vote
IRREGULAR
1997
Springer
15 years 7 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
211
click to vote
WWCA
1998
Springer
15 years 7 months ago
1998
Springer
In an open network such as the Internet, multicast security services typically start with group session-key distribution. Considering scalability for group communication among wide...
147
click to vote
IJWIN
2002
15 years 2 months ago
2002
Wireless LANs with their increased data rate become an attractive technology for connecting mobile users to the Internet. Efficient deployment of wireless LANs will require the ab...
135
click to vote
QOFIS
2000
Springer
15 years 6 months ago
2000
Springer
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...
131
Voted
PERCOM
2008
ACM
16 years 2 months ago
2008
ACM
This paper proposes a multiagent based virtual community as a new means to support pervasive computing services. We give a conceptual definition of the concept of Place-Based Virt...