We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
Alexandre V. Fioukov, Evgeni M. Eskenazi, Dieter K...
This paper presents an integrated method to achieve authorized access on LAN sockets in a campus network. The key issues of our method are user authentication and user tracking. W...
—VANETs have been envisioned as an infrastructure for deploying Vehicular Information Systems (VIS) that among others provide drivers with an up-to-date view on the prevailing tr...
Nicholas Loulloudes, George Pallis, Marios D. Dika...
MPI-I/O is a part of the MPI-2 specification defining file I/O operations for parallel MPI applications. Compared to regular POSIX style I/O functions, MPI I/O offers features ...