5639 search results - page 410 / 1128 » Timed Abstract Non-interference |
206
Voted
WADS
2005
Springer
16 years 29 days 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...
166
Voted
WG
2005
Springer
16 years 29 days 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...
190
Voted
ASPDAC
2004
ACM
16 years 28 days 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...
177
Voted
ARCS
2004
Springer
16 years 27 days 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...
181
click to vote
CAISE
2004
Springer
16 years 27 days 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...