3028 search results - page 174 / 606 » Integrating Temporal Logics |
180
click to vote
SAS
2004
Springer
16 years 15 days ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
194
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
198
click to vote
TIME
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we extend the notion of k-anonymity in the context of databases with timestamped information in order to naturally define k-anonymous views of temporal data. We als...
198
click to vote
FMSD
2006
15 years 7 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
186
click to vote
ADC
2000
Springer
15 years 11 months ago
2000
Springer
Advanced object-oriented applications require the management of schema versions, in order to cope with changes in the structure of the stored data. Two types of versioning have be...