5326 search results - page 412 / 1066 » On what we can ensure |
171
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...
148
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
203
click to vote
CIKM
1994
Springer
15 years 11 months ago
1994
Springer
Accessing information sources to retrieve data requested by a user can be expensive, especially when dealing with distributed information sources. One way to reduce this cost is t...
139
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
150
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Reconfigurable computing has become an important part of research in software systems and computer architecture. While prior research on reconfigurable computing have addressed ar...