690 search results - page 91 / 138 » Testing Temporal Logic Properties in Distributed Systems |
124
click to vote
PODS
2008
ACM
16 years 19 days ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
93
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
105
click to vote
ENTCS
2008
15 years 17 days ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
125
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
92
Voted
JMLR
2010
14 years 7 months ago
2010
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...