1581 search results - page 153 / 317 » Mechanizing Inductive Reasoning |
321
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
289
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
186
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
273
click to vote
TABLEAUX
2009
Springer
16 years 28 days ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
160
click to vote
WECWIS
2008
IEEE
16 years 23 days ago
2008
IEEE
Reverse pricing as a special form of dynamic pricing has become a growing interest in e-commerce. It gives buyers an active role: The price of a transaction is not given by the su...