6040 search results - page 239 / 1208 » Generating Instance Models from Meta Models |
COLING
2008
13 years 11 months ago
2008
In this paper, we present a method for modeling joint information when generating n-best lists. We apply the method to a novel task of characterizing the similarity of a group of ...
DATE
2008
IEEE
14 years 5 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
CGVR
2006
14 years 5 days ago
2006
- In recent years, techniques have shown an increased interest in research and development related to stereoscopic imaging. However, unlike 2D image, stereoscopic image is generate...
JCST
2008
13 years 10 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
KBSE
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...