3256 search results - page 633 / 652 » Applications of Formal Methods to System Design and Verifica... |
157
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Column-oriented database systems [19, 23] perform better than traditional row-oriented database systems on analytical workloads such as those found in decision support and busines...
136
click to vote
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
Structured peer-to-peer (P2P) overlays have been successfully employed in many applications to locate content. However, they have been less effective in handling massive amounts o...
IUI
2009
ACM
15 years 6 months ago
2009
ACM
The TaskTracer system allows knowledge workers to define a set of activities that characterize their desktop work. It then associates with each user-defined activity the set of ...
MIR
2004
ACM
15 years 3 months ago
2004
ACM
An increasing amount of heterogeneous information about scientific research is becoming available on-line. This potentially allows users to explore the information from multiple p...
104
click to vote
VRST
2003
ACM
15 years 2 months ago
2003
ACM
Researchers have had great success using motion capture tools for controlling avatars in virtual worlds. Another current of virtual reality research has focused on building collab...