22 citations · 53 across the 10 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.DB2012★ 2 cited
Verification of Relational Data-Centric Dynamic Systems with External Services
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo +2
Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. In this paper we study verification of (f…
cs.DB2012
Trajectory and Policy Aware Sender Anonymity in Location Based Services
Alin Deutsch, Richard Hull, Avinash Vyas +1
We consider Location-based Service (LBS) settings, where a LBS provider logs the requests sent by mobile device users over a period of time and later wants to publish/share these l…