10669 search results - page 1767 / 2134 » Software - Implemented Self-healing System |
156
click to vote
SIGUCCS
2003
ACM
16 years 1 days ago
2003
ACM
This paper documents the progression through 4 methods of orienting incoming students in the use of Syracuse University’s computer systems. It discuses design issues involving: ...
161
click to vote
UIST
2003
ACM
16 years 23 hour ago
2003
ACM
We describe a novel interface for presenting interactive content on public digital bulletin boards. Inspired by paper fliers on physical bulletin boards, posted content is display...
132
click to vote
UIST
2003
ACM
16 years 23 hour ago
2003
ACM
Cascading menus are commonly seen in most GUI systems. However, people sometimes choose the wrong items by mistake, or become frustrated when submenus pop up unnecessarily. This p...
193
click to vote
CAV
2003
Springer
16 years 12 hour ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
156
click to vote
CC
2003
Springer
16 years 12 hour ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...