—The amount of audiovisual data available on the Internet and thus of multimedia communication over today’s networks is increasing at a rapid pace. Despite the availability of ...
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
Abstract— The IEEE 802.16 mesh mode supports two scheduling mechanisms, namely centralized scheduling and distributed scheduling. Centralized scheduling is based on a routing tre...
— We focus in this paper on the cross-layer modeling of the integration of streaming and elastic flows in the downlink of UMTS/HSDPA systems. Streaming flows are transported ov...
A novel routing algorithm, namely dynamic XY (DyXY) routing, is proposed for NoCs to provide adaptive routing and ensure deadlock-free and livelock-free routing at the same time. ...