12774 search results - page 342 / 2555 » A Framework for Proof Systems |
148
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
187
click to vote
TCBB
2010
15 years 5 months ago
2010
— We describe a theoretical unifying framework to express comparison of RNA structures, which we call alignment hierarchy. This framework relies on the definition of common supe...
173
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
163
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
This paper develops a framework for wireless security that provides confidentiality, identity authentication, message authentication, integrity, sender non-repudiation, receiver n...
178
click to vote
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe an approach to a musical framework with interactions among numerous physical autonomous devices. The devices behave as metaphors of life and self-organiz...