In this paper we study the timing behaviour of streaming applications running on a multiprocessor architecture. Dependencies are derived between the application throughput and the...
Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. J...
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
Abstract. In this article we present a conceptual analysis of the notion of learners’ selforganization in CSCL macro-scripts. We highlight that taking into account selforganizati...
The contribution of the theory of autopoiesis to the definition of life and biological theory affirms biological autonomy as a central notion of scientific and philosophical inquir...
Linear optimization queries retrieve the top-K tuples in a sliding window of a data stream that maximize/minimize the linearly weighted sums of certain attribute values. To effici...