1233 search results - page 229 / 247 » Machine translation |
ASM
2003
ASM
14 years 23 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
COMPSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
FGR
2002
IEEE
14 years 14 days ago
2002
IEEE
Facial expression recognition is necessary for designing any realistic human-machine interfaces. Previous published facial expression recognition systems achieve good recognition ...
LICS
2002
IEEE
14 years 13 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
OOPSLA
2009
Springer
14 years 2 days ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...