9821 search results - page 100 / 1965 » A Framework for the Development of Protocols |
153
click to vote
MIDDLEWARE
2009
Springer
15 years 11 months ago
2009
Springer
The innate dynamicity and complexity of mobile ad-hoc networks (MANETs) has resulted in numerous ad-hoc routing protocols being proposed. Furthermore, numerous variants and hybrids...
160
click to vote
IRI
2009
IEEE
15 years 11 months ago
2009
IEEE
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...
122
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
145
click to vote
ATC
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an architecture enabling developers to easily and flexibly assign replication protocols simply by annotating individual server methods. This avoids using costly...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...