Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
We present an approach to updateable XML views, which is based on the Stack-Based Approach to query languages. Its novelty consists in introducing procedures overloading generic up...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
Abstract. In this paper we propose an approach to deal with the ChineseEnglish cross-language image retrieval problem. Text-based image retrieval and query translation methods were...
Despite the growth of Internet and the advances in WWW technology, current methods for web users to make good use of information from so enormous web pages are not as efficient as ...