Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. A core property is productivity: unfolding the equations produces the intended stream in the limit. In this paper we show that productivity is equivalent to termination with respect to the balanced outermost strategy of a TRS obtained by adding an additional rule. For...

The Hazard Analysis and Critical Control Point (HACCP) approach is widely used to develop food safety procedures in restaurants and other food related businesses. IoT devices could be deployed in this context to automate monitoring of critical control points (such as the maximum storage temperature of raw meat). However, such sensor infrastructures will result in the generation of significant a...

In this paper, we propose a two-stream approach for adaptive rate control in multimedia applications. By monitoring a low-rate monitoring stream, we keep track of the available bandwidth (AB) of the network path and dynamically adjust the sending rate of the traffic stream close to the optimal rate. We also assure the higher priority of the monitoring stream in that the traffic stream is not al...

Equipment manufacturers research and development CaptureVuTM technology allows rapid isolation and debugging of equipment and system faults Multiplexer/remultiplexer allows flexible test stream creation and modification Rapid and in-depth analysis of selected elements of transport streams to confirm functionality and compliance to standards Set-top box buffer testing and verification Elementary...

An Internet Protocol/Generic Stream Encapsulation (IP/GSE) signalling framework is proposed to replace the current MPEG-2 Transport Stream (TS) Table-based signalling system and to enable smoother convergence of Digital Video Broadcasting (DVB) transmission systems and IP networks. GSE suitability is explained and a review of IP-based signalling techniques is presented in order to select the op...

Stream Processing Applications analyze large volumes of streaming data in real-time. These applications, consist of data sources, which produce raw streams, and processing elements, which operate on the streams to produce new derived streams. In this paper, we describe an OWL-based model for describing these stream processing components. The streams produced by data sources are described as RDF...

Mining data streams has been a focal point of research interest over the past decade. Hardware and software advances have contributed to the significance of this area of research by introducing faster than ever data generation. This rapidly generated data has been termed as data streams. Credit card transactions, Google searches, phone calls in a city, and many others\are typical data streams. ...

Data stream processing systems are used to continuously run mission-critical applications for real-time monitoring and alerting. These require high throughput low latency process incoming data streams in real time. However, changes the distribution of over time can cause partition skew, which is defined as an unequal partitions among workers, resulting sub-optimal due unbalanced load. This pape...