Add to ORKGIn our previous work, we developed TRAFFIC(X), a specification language for modeling bi-directional network flows featuring a type system with constrained polymorphism. In this paper, we present two ways to customize the constraint system: (1) when using linear inequality constraints for the constraint system, TRAFFIC(X) can describe flows with numeric properties such as MTU (maximum transmission unit), RTT (round trip time), traversal order, and bandwidth allocation over parallel paths; (2) when using Boolean predicate constraints for the constraint system, TRAFFIC(X) can describe routing policies of an IP network. These examples illustrate how to use the customized type system.National Science Foundation (CCR-0205294
Includes bibliographical references (pages 52)The study of networks and flows is an area of linear p...
Engineering advances have enabled systems that are increasingly complex while, simultaneously, expec...
Today\u27s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly...
In the framework of iBench research project, our previous work created a domain specific language TR...
We present a type inference algorithm, in the style of compositional analysis, for the language TRAF...
This paper formally defines the operational semantic for TRAFFIC, a specification language for flow ...
This paper formally defines the operational semantic for TRAFFIC, a specification language for flow ...
We present a type inference algorithm, in the style of compositional analysis, for the language TRAF...
Numerous domains exist in which systems can be modeled as networks with constraints that regulate th...
Constrained flow network models represent systems where flows exists between nodes, and constraints ...
Thesis (M.A.)--Boston UniversityPLEASE NOTE: Boston University Libraries did not receive an Authoriz...
The heterogeneity and open nature of network systems make analysis of compositions of components qui...
The heterogeneity and open nature of network systems make analysis of compositions of components qui...
Traffic engineering (TE) describes a domain-wide perspective for traffic control as opposed to appli...
Today\u27s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly...
Includes bibliographical references (pages 52)The study of networks and flows is an area of linear p...
Engineering advances have enabled systems that are increasingly complex while, simultaneously, expec...
Today\u27s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly...
In the framework of iBench research project, our previous work created a domain specific language TR...
We present a type inference algorithm, in the style of compositional analysis, for the language TRAF...
This paper formally defines the operational semantic for TRAFFIC, a specification language for flow ...
This paper formally defines the operational semantic for TRAFFIC, a specification language for flow ...
We present a type inference algorithm, in the style of compositional analysis, for the language TRAF...
Numerous domains exist in which systems can be modeled as networks with constraints that regulate th...
Constrained flow network models represent systems where flows exists between nodes, and constraints ...
Thesis (M.A.)--Boston UniversityPLEASE NOTE: Boston University Libraries did not receive an Authoriz...
The heterogeneity and open nature of network systems make analysis of compositions of components qui...
The heterogeneity and open nature of network systems make analysis of compositions of components qui...
Traffic engineering (TE) describes a domain-wide perspective for traffic control as opposed to appli...
Today\u27s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly...
Includes bibliographical references (pages 52)The study of networks and flows is an area of linear p...
Engineering advances have enabled systems that are increasingly complex while, simultaneously, expec...
Today\u27s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly...