966 search results - page 147 / 194 » Evaluation of Linguistics-Based Translation |
SBACPAD
2009
IEEE
15 years 6 months ago
2009
IEEE
RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, this solution comes with the cost of poor code density. ...
117
click to vote
SEMCO
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
ERCIMDL
2009
Springer
15 years 6 months ago
2009
Springer
Most libraries and other cultural heritage institutions use controlled knowledge organisation systems, such as thesauri, to describe their collections. Unfortunately, as most of th...
103
click to vote
MIDDLEWARE
2009
Springer
15 years 6 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...