1057 search results - page 85 / 212 » Testing from Formal Specifications, a Generic Approach |
141
click to vote
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Classification of large datasets is an important data mining problem. Many classification algorithms have been proposed in the literature, but studies have shown that so far no al...
116
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
130
Voted
SP
2006
IEEE
15 years 9 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...
116
Voted
ALMOB
2008
15 years 3 months ago
2008
Background: Experimental identification of microRNA (miRNA) targets is a difficult and time consuming process. As a consequence several computational prediction methods have been ...
109
Voted
BPM
2004
Springer
15 years 8 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...