1053 search results - page 27 / 211 » The Rules of Virtual Groups |
78
Voted
CTW
2007
14 years 11 months ago
2007
Abstract The flow of technical work in acute healthcare varies unpredictably, in patterns that occur regularly enough that they can be managed. Acute care organizations develop wa...
95
Voted
SOSP
2007
ACM
15 years 7 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
CSCW
2008
ACM
15 years 21 days ago
2008
ACM
Graphical virtual worlds are increasingly significant sites of collaborative interaction. Many argue that the simulation of the everyday environment makes them particularly effect...
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
88
Voted
SIMVIS
2004
15 years 8 days ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...