1566 search results - page 194 / 314 » Contification Using Dominators |
120
click to vote
USS
2008
15 years 4 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
127
click to vote
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...
117
click to vote
ACL
2007
15 years 3 months ago
2007
We describe an open-source toolkit for statistical machine translation whose novel contributions are (a) support for linguistically motivated factors, (b) confusion network decodi...
102
click to vote
LREC
2010
15 years 3 months ago
2010
In Japanese, there are a large number of notational variants of words. This is because Japanese words are written in three kinds of characters: kanji (Chinese) characters, hiragar...
109
click to vote
SODA
2003
ACM
15 years 3 months ago
2003
ACM
We give a 7.18-approximation algorithm for the minimum latency problem that uses only O(n log n) calls to the prize-collecting Steiner tree (PCST) subroutine of Goemans and Willia...