5170 search results - page 1008 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
131
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
132
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
115
click to vote
SRDS
2008
IEEE
15 years 8 months ago
2008
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall dire...
125
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
106
click to vote
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
Graph based semi-supervised learning (SSL) methods play an increasingly important role in practical machine learning systems. A crucial step in graph based SSL methods is the conv...