5255 search results - page 663 / 1051 » Formal Methods for Privacy |
210
click to vote
ICTAC
2004
Springer
16 years 29 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
199
click to vote
IFL
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
193
click to vote
IFL
2004
Springer
16 years 28 days ago
2004
Springer
One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an impe...
188
click to vote
IFL
2004
Springer
16 years 28 days ago
2004
Springer
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...
180
click to vote
ISOLA
2004
Springer
16 years 28 days ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...