1283 search results - page 86 / 257 » A Survey on Temporal Logics |
149
click to vote
SP
2006
IEEE
16 years 9 days ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
159
click to vote
DATASCIENCE
2002
15 years 6 months ago
2002
In this paper we survey the recent activities and achievements of our research group in the deployment of XMLrelated technologies in Cultural Heritage applications concerning the ...
184
click to vote
TODS
2012
13 years 8 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
205
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
181
click to vote
DEBU
2010
15 years 6 months ago
2010
In spatio-temporal applications, moving objects detect their locations via location-aware devices and update their locations continuously to the server. With the ubiquity and mass...