691 search results - page 23 / 139 » Design and implementation of a dynamic protocol framework |
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a hardware/software co-design for Multi Protocol Label Switching (MPLS) using RSVP-TE as a signaling protocol. MPLS is the protocol framework on which the atte...
WEBI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present the design and implementation of a lightweight fault tolerance framework for Web services. With our framework, a Web service can be rendered fault tolera...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—VANET protocols need to exploit the special structure of vehicular networks. This structure includes the onedimensional nature of roads, the structure of lanes, the grou...