13383 search results - page 102 / 2677 » Abstractions from proofs |
174
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
124
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
158
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
135
Voted
LACL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
135
Voted
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...