814 search results - page 46 / 163 » Generic Model Abstraction from Examples |
117
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
102
click to vote
ICCBR
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
107
click to vote
BPM
2004
Springer
15 years 7 months ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
127
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We consider the problem of estimating vector-valued variables from noisy "relative" measurements. The measurement model can be expressed in terms of a graph, wh...