5639 search results - page 513 / 1128 » Timed Abstract Non-interference |
113
click to vote
ESA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a new algorithm that can output the rankdecomposition of width at most k of a graph if such exists. For that we use an algorithm that, for an input matroid rep...
142
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
119
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
125
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
189
click to vote
IBPRIA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this article, scale and orientation invariant object detection is performed by matching intensity level histograms. Unlike other global measurement methods, the presen...