9821 search results - page 32 / 1965 » A Framework for the Development of Protocols |
WETICE
1998
IEEE
13 years 11 months ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
HT
1999
ACM
13 years 12 months ago
1999
ACM
Since the beginning of the WWW, tools have been developed to augment the functionality of the Web. This paper provides an investigation of hypermedia tools and systems integrating...
ANSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Simulation, especially discrete event simulation (DES), is used in a variety of disciplines where numerical methods are difficult or impossible to apply. One problem with this met...