3828 search results - page 78 / 766 » Proof-Based System Engineering Using a Virtual System Model |
124
click to vote
ENC
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a web-based application that allows a user to, walk through, see, and interact with a fully threedimensional model of an old Mexican city. The city itself motivates thi...
137
click to vote
ACMACE
2007
ACM
15 years 4 months ago
2007
ACM
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...
128
click to vote
HT
2005
ACM
15 years 8 months ago
2005
ACM
We describe Eureka, a file system search engine that takes into account the inherent relationships among files in order to improve the rankings of search results. The key idea b...
117
Voted
MASCOTS
2003
15 years 3 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
118
click to vote
VEE
2005
ACM
15 years 8 months ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...