Sciweavers

9821 search results - page 5 / 1965
» A Framework for the Development of Protocols
Sort
View
JUCS
2008
186views more  JUCS 2008»
15 years 3 months ago
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
Miguel Ángel Pérez Toledano, Amparo ...
123
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
Relating two formal models of path-vector routing
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
Aaron D. Jaggard, Vijay Ramachandran
CCS
1998
ACM
15 years 8 months ago
A Probabilistic Poly-Time Framework for Protocol Analysis
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
Patrick Lincoln, John C. Mitchell, Mark Mitchell, ...
117
Voted
CEC
2007
IEEE
15 years 10 months ago
A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...
Saira Zahid, Muhammad Shahzad, Syed Usman Ali, Mud...
ICMCS
1999
IEEE
98views Multimedia» more  ICMCS 1999»
15 years 8 months ago
A General Framework and Communication Protocol for the Transmission of Interactive Media with Real-Time Characteristics
In this paper we present a general framework for the transmission of interactive media with real-time characteristics, i.e. media involving user interaction. By identifying and su...
Martin Mauve, Volker Hilt, Christoph Kuhmünch...