85 search results - page 14 / 17 » Separation Logic for Multiple Inheritance |
VR
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper focuses on the distributed architecture of the collaborative augmented reality system Studierstube. The system allows multiple users to experience a shared 3D workspace...
CONEXT
2007
ACM
13 years 11 months ago
2007
ACM
The distributed nature of the Internet makes it difficult for a single service provider to troubleshoot the disruptions experienced by its customers. We propose NetDiagnoser, a tr...
DATE
2010
IEEE
14 years 17 days ago
2010
IEEE
—In a conventional SoC designs, on-chip memories occupy more than the 50% of the total die area. 3D technology enables the distribution of logic and memories on separate stacked ...
IRI
2008
IEEE
14 years 1 months ago
2008
IEEE
The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...