5525 search results - page 919 / 1105 » Verification of Model Transformations |
139
click to vote
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Recent advances in high-throughput experimental techniques have enabled the production of a wealth of protein interaction data, rich in both quantity and variety. While t...
140
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
169
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
167
click to vote
MINENET
2006
ACM
15 years 10 months ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
149
Voted
CVPR
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we develop a theory for characterizing how deformable a shape is. We define a term called “deformability index” for shapes. The deformability index is computed ...