3346 search results - page 159 / 670 » A Generic Rendering System |
134
click to vote
CSMR
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
191
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
139
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-...
148
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
The derived data update problem involves the transformation of modifications of derived facts into corresponding changes to base facts and other derived facts. Using a database sc...
179
click to vote
ACL
2008
15 years 7 months ago
2008
In this work, the problem of extracting phrase translation is formulated as an information retrieval process implemented with a log-linear model aiming for a balanced precision an...