1054 search results - page 32 / 211 » Translation Validation of System Abstractions |
178
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
138
click to vote
TSD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Translation of Multi-word expressions (MWEs) is one of the most challenging tasks of a Machine translation (MT) system. In this paper, we present an innovative technique ...
166
click to vote
ITP
2010
15 years 4 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
152
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
164
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
UNICORE (Uniform Interface to Computer Resources) is a software infrastructure supporting seamless and secure access to distributed resources. UNICORE allows uniform access to dif...