13 search results - page 1 / 3 » ictcs 2005 |
172
click to vote
ICTCS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We study efficient exact algorithms for several problems including Vertex Bipartization, Feedback Vertex Set, 3-Hitting Set, Max Cut in graphs with maximum degree at most...
185
Voted
ICTCS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
186
click to vote
ICTCS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...