16790 search results - page 3087 / 3358 » A Future for Software Engineering |
155
Voted
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...
159
click to vote
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
153
click to vote
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
167
Voted
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
165
click to vote
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...