2501 search results - page 364 / 501 » Logics with Rank Operators |
170
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
128
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Judgment aggregation studies how agent opinions on logically interconnected propositions can be mapped into a collective judgment on the same propositions, and is plagued by impos...
124
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...
153
click to vote
ICISC
2008
15 years 6 months ago
2008
Ciphertext-Policy Attribute-Based Encryption (CP-ABE) allows to encrypt data under an access policy, specified as a logical combination of attributes. Such ciphertexts can be decry...
122
click to vote
IFIP12
2008
15 years 6 months ago
2008
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...