8555 search results - page 212 / 1711 » Property Based Coordination |
136
click to vote
HUMO
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with region-of-interest (ROI) segmentation in video sequences. The goal is to determine in one frame the region which best matches, in terms of a similarity measur...
161
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
138
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
238
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
170
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...