226 search results - page 27 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
IFIP
2003
Springer
14 years 22 days ago
2003
Springer
The Java Message Service (JMS) provides a standard asynchronous messaging API, which simplifies the construction of loosely coupled, distributed applications. This paper describes ...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
MASCOTS
2007
13 years 9 months ago
2007
—To overcome the drawbacks of the Mobile IPv6 protocol on handling local mobility management, IETF proposed the HMIPv6 protocol which introduces an intermediate mobility anchor p...
JSA
2008
13 years 7 months ago
2008
The instability of the tree-like multicast overlay caused by nodes' abrupt departures is considered as one of the major problems for peer-to-peer (P2P) multicast systems. In ...