2687 search results - page 380 / 538 » Formal Analysis of PKCS |
148
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
177
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
152
click to vote
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
127
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...
192
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...