Sciweavers

2334 search results - page 154 / 467
» How are Real Grids Used
Sort
View
ADAEUROPE
2005
Springer
14 years 4 months ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
CIA
2004
Springer
14 years 4 months ago
Collaboration Analysis in Recommender Systems Using Social Networks
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...
Jordi Palau, Miquel Montaner, Beatriz López...
RSP
1999
IEEE
14 years 3 months ago
System Design Validation Using Formal Models
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 ...
Peter Henderson, Robert John Walters
COR
2006
118views more  COR 2006»
13 years 10 months ago
Accelerating column generation for aircraft scheduling using constraint propagation
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...
Mattias Grönkvist
CRV
2007
IEEE
101views Robotics» more  CRV 2007»
14 years 5 months ago
Using a Raster Display for Photometric Stereo
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...
Nathan Funk, Yee-Hong Yang