53 search results - page 5 / 11 » The Grand Challenge of Trusted Components |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
CVPR
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a 3D approach for recognizing faces based on Principal Component Analysis (PCA). The approach addresses the issue of proper 3D face alignment required by PCA f...
TSE
2010
13 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
WOA
2004
13 years 8 months ago
2004
The management of one-to-one business interaction is challenged by the latency in the acquisition of information about the individual customer's preferences. Although sharing ...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Agents in open and dynamic environments face the challenge of uncertainty while interacting with others to achieve their goals. They face quick and unforeseen changes to the behavi...