Although many temporal extensions of the relational data model have been proposed, there is no comparable amount of work in the context of object-oriented data models. Moreover, ex...
Elisa Bertino, Elena Ferrari, Giovanna Guerrini, I...
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
Abstract Workflows are prevailing in scientific computation. Multicluster environments emerge and provide more resources, benefiting workflows but also challenging the traditional ...
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
—One promise of Vehicular Ad-hoc Networks (VANET) is to considerably increase road safety and travel comfort by enabling inter-vehicle communications. Among a vast array of poten...
Yanyan Zhuang, Jianping Pan, Yuanqian Luo, Lin Cai