9821 search results - page 272 / 1965 » A Framework for the Development of Protocols |
160
click to vote
FAC
2010
15 years 4 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
164
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
The web's hyperlinks are notoriously brittle, and break whenever a resource migrates. One solution to this problem is a transparent resource migration mechanism, which separa...
181
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— It has been a big challenge to develop routing protocol that can meet different application needs and optimize routing paths according to the topology change in mobile ad hoc n...
172
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
Current data collection protocols for wireless sensor networks are mostly based on quasi-static minimum-cost routing trees. We consider an alternative, highly-agile approach calle...
199
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...