4184 search results - page 96 / 837 » Names of Our Lives |
110
click to vote
ACMACE
2006
ACM
15 years 7 months ago
2006
ACM
Ambient Video is an emergent cultural phenomenon, with roots that go deeply into the history of experimental film and video art. Ambient Video, like Brian Eno's ambient music...
VRST
2005
ACM
15 years 7 months ago
2005
ACM
An intuitive and easy-to-use 3D modeling system has become more crucial with the rapid growth of computer graphics in our daily lives. Image-based modeling (IBM) has been a popula...
122
Voted
WOSP
2010
ACM
15 years 7 months ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...
96
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
138
click to vote
PODC
1994
ACM
15 years 5 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...