13 search results - page 1 / 3 » ictcs 2005 |
ICTCS
2005
Springer
14 years 2 months ago
2005
Springer
ICTCS
2005
Springer
14 years 2 months ago
2005
Springer
ICTCS
2005
Springer
14 years 2 months 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...
ICTCS
2005
Springer
14 years 2 months 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...
ICTCS
2005
Springer
14 years 2 months 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...