Research environments have been changing with the availability of new technologies for decades. Researchers are benefited from digital libraries, online databases, and Web search...
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
Alessio Lomuscio, Monika Solanki, Wojciech Penczek...
Abstract. The increased availability and robustness of sensors, the wide-spread use of the internet as a communication environment and the intensified adoption of semantic technolo...