1195 search results - page 106 / 239 » Modeling an Algebraic Stepper |
241
click to vote
FOSAD
2009
Springer
16 years 29 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
174
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...
178
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
An approach for reconstructing wireframe models of curvilinear objects from three orthographic views is discussed. Our main stress is on the method of generating three-dimensional ...
173
click to vote
JLP
2008
15 years 6 months ago
2008
Based on a set of criteria and a measuring lattice, we introduce relational measures as generalizations of fuzzy measures. The latter have recently made their way from the interva...
218
click to vote
RSKT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...