Abstract: A method may include receiving a network schema including switches, links connecting the switches, and a topology that maps the switches to the links. The switches may include ports. The method may further include receiving a software defined networking (SDN) policy including a function that modifies a state of a packet entering a switch, converting the topology to a graph including nodes corresponding to the switches, while searching the graph, determining, according to the function, whether a port of a switch corresponding to a node is reachable by the packet entering the switch, and in response to searching the graph, verifying a property of the SDN policy.

Abstract: A method may include receiving a network schema including switches, links connecting the switches, and a topology that maps the switches to the links. The switches may include ports. The method may further include receiving a software defined networking (SDN) policy including a function that modifies a state of a packet entering a switch, converting the topology to a graph including nodes corresponding to the switches, while searching the graph, determining, according to the function, whether a port of a switch corresponding to a node is reachable by the packet entering the switch, and in response to searching the graph, verifying a property of the SDN policy.

Abstract: An extension to reactive ad-hoc routing protocols in multi-hop wireless mesh networks. The protocol discovers bi-directional links during route establishment, particularly multiple links between a single pair of nodes. Source and intermediate nodes transmit a route request, at least one of the nodes transmitting the route request on more than one wireless interface. Upon receiving a route request, each node creates at least one reverse link to the node from which the route request was received. The destination and intermediate nodes transmit, via at least one of the reverse links, at least one route reply which enables a node receiving the route reply to identify one or more wireless interfaces of the node transmitting the route reply. Upon receiving a route reply, each node creates at least one forward link to the node from which the route reply was received. Routes may then be established using any discovered bidirectional link.

Abstract: An extension to reactive ad-hoc routing protocols in multi-hop wireless mesh networks. The protocol discovers bi-directional links during route establishment, particularly multiple links between a single pair of nodes. Source and intermediate nodes transmit a route request, at least one of the nodes transmitting the route request on more than one wireless interface. Upon receiving a route request, each node creates at least one reverse link to the node from which the route request was received. The destination and intermediate nodes transmit, via at least one of the reverse links, at least one route reply which enables a node receiving the route reply to identify one or more wireless interfaces of the node transmitting the route reply. Upon receiving a route reply, each node creates at least one forward link to the node from which the route reply was received. Routes may then be established using any discovered bidirectional link.

Abstract: Server-to-user delivery of a data stream associated with a service provided by the server is effectuated by selecting the server and, automatically and without manual intervention, providing in a communication path that is to be used for the delivery a proxy that performs a proxy operation on the data stream during the delivery. A proxy can be automatically installed in a communication path through a data network. In response to an installation request, a communication port for coupling to the communication path is automatically allocated and a proxy to support data flow through the communication port is automatically loaded. The proxy is operable for performing a proxy operation on the data stream. In maintaining proxies in a communication path used to deliver from a server to a user a data stream associated with a service provided by the server, it can be determined when a first proxy in the communication path is not performing its proxy function within the communication path.

Abstract: Server-to-user delivery of a data stream associated with a service provided by the server is effectuated by selecting the server and, automatically and without manual intervention, providing in a communication path that is to be used for the delivery a proxy that performs a proxy operation on the data stream during the delivery. A proxy can be automatically installed in a communication path through a data network. In response to an installation request, a communication port for coupling to the communication path is automatically allocated and a proxy to support data flow through the communication port is automatically loaded. The proxy is operable for performing a proxy operation on the data stream. In maintaining proxies in a communication path used to deliver from a server to a user a data stream associated with a service provided by the server, it can be determined when a first proxy in the communication path is not performing its proxy function within the communication path.

Abstract: In requesting a server to provide a service to a user, a user application provides a service request that includes first information which directs the server to route to the user application a data stream associated with the service. The first information is transformed into second information which directs the server to route the data stream to a proxy which is installed in a communication path from the server to the user application and which is operable for performing a proxy operation on the data stream.