354 search results - page 44 / 71 » jos 2010 |
JUCS
2010
13 years 9 months ago
2010
: In order to develop context-aware applications for ubiquitous computing environments we have defined an MDA approach that defines three layers of models. The first layer captures...
CICLING
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. This paper outlines a strategy to build new bilingual dictionaries from existing resources. The method is based on two main tasks: first, a new set of bilingual correspo...
ESA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Minimizing the makespan or maximizing the minimum machine load are two of the most important and fundamental parallel machine scheduling problems. In an online scenario, ...
MIAR
2010
IEEE
13 years 9 months ago
2010
IEEE
Clinicians are trained to manipulate a colonoscope while minimizing the force exerted on the colon walls to reduce the danger of luminal perforation and discomfort to the patient. ...
MEMOCODE
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...