5639 search results - page 410 / 1128 » Timed Abstract Non-interference |
144
click to vote
WADS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Settling a ten years open question, we show that the NPcomplete Feedback Vertex Set problem is deterministically solvable in O(ck ·m) time, where m denotes the number of...
104
click to vote
WG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider a generalization of the classical max-cut problem where two objective functions are simultaneously considered. We derive some theorems on the existence and th...
125
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
117
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: We report on our experiences with the implementation of a parallel algorithm to compute the cycle structure of a permutation given as an oracle. As a sub-problem, the cyc...
118
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...