1054 search results - page 78 / 211 » Translation Validation of System Abstractions |
183
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
129
click to vote
OWLED
2007
15 years 7 months ago
2007
Abstract. Among the challenges of managing NASA’s information systems is the management (that is, creation, coordination, verification, validation, and enforcement) of many di...
207
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...
180
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
149
click to vote
GW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...