27 search results - page 3 / 6 » Running the manual: an approach to high-assurance microkerne... |
GECCO
2004
Springer
13 years 11 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...
ACMSE
2005
ACM
13 years 7 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
EUROMICRO
2009
IEEE
13 years 9 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
CLEF
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents the results of our initial experiments in the monolingual English, Spanish and Portuguese tasks and the Bilingual Spanish English, Spanish Portuguese, Englis...
ENVSOFT
2007
13 years 5 months ago
2007
The SISSI program implements a novel approach for the estimation of the optimal sample size in experimental data collection. It provides avisual evaluation system of sample size d...