In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
The Lov´asz theta number of a graph G can be viewed as a semidefinite programming relaxation of the stability number of G. It has recently been shown that a copositive strengthe...
One of the most important steps towards eective software maintenance of a large complicated system is to understand how program features are spread over the entire system and thei...
W. Eric Wong, Swapna S. Gokhale, Joseph Robert Hor...