Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
DubaiSat-1 is an initiative from Emirates Institution for Advanced Science and Technology (EIAST) to start the first Earth observation satellite program in the United Arab Emirate...
This paper presents two empirical investigations of future applications of mobile spatial interaction, i.e. the use of mobile phones as pointers to the real world. In situated int...
Mobile communication networks experience a tremendous growth. According to the vision of Wireless World Research Forum (WWRF), there will be 7 trillion wireless devices serving 7 ...
Shahzad Ali, Andreas Mitschele-Thiel, Ali Diab, Am...