689 search results - page 13 / 138 » Encapsulation theory fundamentals |
TPHOL
1999
IEEE
14 years 22 days ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We propose a simple yet rich model to extend the notions of Nash equilibria and correlated equilibria of strategic games to the quantum setting, in which we then study the relatio...
ACCV
2009
Springer
14 years 3 months ago
2009
Springer
Fundamental matrix, drawing geometric relationship between two images, plays an important role in 3-dimensional computer vision. Degenerate configurations of space points and two ...
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
Service oriented device architecture (SODA) is a promising approach for enabling a continuous IT support of medical processes in hospitals. However, there is a lack of specific de...
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...