90 search results - page 1 / 18 » A Framework for Protocol Composition in Horus |
PODC
1995
ACM
13 years 11 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
DATE
2010
IEEE
14 years 18 days ago
2010
IEEE
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...
NCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purp...
ICDCSW
2009
IEEE
13 years 5 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...