1644 search results - page 183 / 329 » Finding Dominators in Practice |
ELPUB
2006
ACM
14 years 3 months ago
2006
ACM
Collection management policies of libraries were mainly shaped by in-house use of materials in the past. Yet the emergence of electronic journals and their availability through pu...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
An Air Force evaluation of Multics, and Ken Thompson’s famous Turing award lecture “Reflections on Trusting Trust,” showed that compilers can be subverted to insert maliciou...
QSIC
2005
IEEE
14 years 2 months ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper crystallises out some key findings of knowledge management practices from a Finnish survey on the insurance industry. 15 Finnish insurance companies of different sizes ...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...