146
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
129
Voted
FOIKS
2010
Springer
15 years 8 months ago
2010
Springer
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...
155
click to vote
FOIKS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
90
Voted
FC
2010
Springer
15 years 8 months ago
2010
Springer
151
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...