Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...
We present a framework of cognitive network management by means of an autonomic reconfiguration scheme. We propose a network architecture that enables intelligent services to meet ...
Minsoo Lee, Dan Marconett, Xiaohui Ye, S. J. Ben Y...
This paper presents the validation of the expressive content of an acted corpus produced for its use in speech synthesis. Firstly, objective techniques have been carried out by me...
Ignasi Iriondo Sanz, Santiago Planet, Joan Claudi ...
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...