2334 search results - page 154 / 467 » How are Real Grids Used |
ADAEUROPE
2005
Springer
14 years 4 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
CIA
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Many researchers have focused their efforts on developing collaborative recommender systems. It has been proved that the use of collaboration in such systems improves per...
RSP
1999
IEEE
14 years 3 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
COR
2006
13 years 10 months ago
2006
We discuss how constraint programming can improve the performance of a column generation solution process for the NP-hard Tail Assignment problem in aircraft scheduling. Combining...
CRV
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents a new controlled lighting apparatus which uses a raster display device as a light source. The setup has the advantage over other alternatives in that it is rel...