2293 search results - page 303 / 459 » Temporal Logic in Information Systems |
208
click to vote
APWEB
2008
Springer
15 years 8 months ago
2008
Springer
Information exchanges in P2P networks have become very popular in recent years. However, tracing how data circulates between peers and how data modifications are performed during t...
163
click to vote
JCS
2008
15 years 6 months ago
2008
Controlled Query Evaluation (CQE) defines a logical framework to protect confidential information in a database. By modeling a user's a priori knowledge appropriately, a CQE ...
210
click to vote
BTW
2007
Springer
16 years 22 days ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
187
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
183
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for ag...