4224 search results - page 656 / 845 » Reasoning about Choice |
181
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
168
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
164
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
161
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
170
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Eye gaze interaction can provide a convenient and natural addition to user-computer dialogues. We have previously reported on our interaction techniques using eye gaze [10]. While...