561 search results - page 25 / 113 » A Constructive Approach to Testing Model Transformations |
100
click to vote
GG
2008
Springer
14 years 11 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
CRYPTO
1993
Springer
15 years 2 months ago
1993
Springer
Constructions for hash functions based on a block cipher are studied where the size of the hashcode is equal to the block length of the block cipher and where the key size is appro...
102
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
BICOB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. With the availability of hundreds and soon-to-be thousands of complete genomes, the construction of genome-scale metabolic models for these organisms has attracted much a...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...