276 search results - page 4 / 56 » Automatic Generation of Functional Programs from CASL Specif... |
DAGSTUHL
2004
14 years 11 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
76
Voted
ACMSE
2010
ACM
14 years 7 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
VVS
1998
IEEE
15 years 1 months ago
1998
IEEE
Although direct volume rendering is a powerful tool for visualizing complex structures within volume data, the size and complexity of the parameter space controlling the rendering...
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
110
Voted
ANLP
1992
14 years 10 months ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...