2496 search results - page 412 / 500 » Error-detecting properties of languages |
130
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
103
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
113
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
129
click to vote
CSL
2005
Springer
15 years 7 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
153
click to vote
DALT
2005
Springer
15 years 7 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...