3147 search results - page 415 / 630 » Open-Source Model Checking |
122
click to vote
JBCS
2002
15 years 2 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
121
click to vote
CAV
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
149
click to vote
CC
2009
Springer
15 years 10 days ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
103
click to vote
IJBC
2010
14 years 11 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
107
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the...