1406 search results - page 253 / 282 » Information Flow in Systems with Schedulers |
SIGUCCS
2006
ACM
14 years 1 months ago
2006
ACM
A scalable podcast solution developed at the University of Washington makes the podcasting of class lectures easy for faculty by automating the capture, uploading, and delivery of...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
ATAL
2003
Springer
14 years 26 days ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...
CSCW
2006
ACM
13 years 7 months ago
2006
ACM
Healthcare organizations are often organized in a modular, loosely coupled fashion where separate and semi-autonomous work units specialize in different areas of care delivery. Thi...
IUI
2010
ACM
14 years 4 months ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...