2858 search results - page 206 / 572 » Logics with Aggregate Operators |
216
click to vote
FAST
2011
14 years 10 months ago
2011
As file systems reach the petabytes scale, users and administrators are increasingly interested in acquiring highlevel analytical information for file management and analysis. T...
310
click to vote
PET
2012
Springer
13 years 9 months ago
2012
Springer
We present PRISM, a privacy-preserving scheme for word search in cloud computing. In the face of a curious cloud provider, the main challenge is to design a scheme that achieves pr...
193
click to vote
IICAI
2007
15 years 8 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
193
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
184
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...