3828 search results - page 593 / 766 » Proof-Based System Engineering Using a Virtual System Model |
170
click to vote
SI3D
1997
ACM
15 years 10 months ago
1997
ACM
We have built a system that allows users to naturally manipulate virtual 3D models with both hands on the Responsive Workbench, a tabletop VR device. Our design is largely based u...
199
click to vote
AFRIGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
182
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...
148
click to vote
ISSTA
2009
ACM
16 years 22 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
150
Voted
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses a longitudinal study that explored the relationship between use of organizational memory and knowledge (OM/K) and knowledge worker productivity within the eng...