4305 search results - page 69 / 861 » Analysing Protocol Implementations |
IAT
2010
IEEE
13 years 6 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
ATC
2008
Springer
13 years 11 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...
AIMS
2009
Springer
14 years 3 months ago
2009
Springer
The IETF has developed a network configuration management protocol called NETCONF which was published as proposed standard in 2006. The NETCONF protocol provides mechanisms to in...
HPCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents our novel protocol design and implementation of an all-software page-based DSM system. The protocol combines the advantages of homeless and home-based...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...