The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...
Christoph Koch, Stefanie Scherzinger, Michael Schm...
Preference queries have received considerable attention in the recent past, due to their use in selecting the most preferred objects, especially when the selection criteria are con...
Maria Kontaki, Apostolos N. Papadopoulos, Yannis M...
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
Overload management has been an important problem for large-scale dynamic systems. In this paper, we study this problem in the context of our Borealis distributed stream processin...