We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language t...
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
We introduce an experimental search engine for multilingual and multimedia information, employing a holistic web interface and enabling the use of highly distributed indices. Moda...
Konstantinos Zagoris, Avi Arampatzis, Savvas A. Ch...
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...
Bing Pan, Zheng Xiang, Heather Tierney, Daniel R. ...