1188 search results - page 61 / 238 » Generating Connectives |
129
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
109
Voted
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Today's graphical modelling languages, despite using symbols and connections, represent large model parts as structured text. We benefit from sophistic text editors,...
107
Voted
COLING
2000
15 years 4 months ago
2000
A method is de.scribed by which a rhetoricalstructure tree can be realized by a text structure made up of sections, paragraphs, sentences, vertical lists, mid other textual patter...
129
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
108
click to vote
COMBINATORICS
2002
15 years 3 months ago
2002
Several authors have examined connections between permutations which avoid 132, continued fractions, and Chebyshev polynomials of the second kind. In this paper we prove analogues...