5084 search results - page 147 / 1017 » Proving Possibility Properties |
177
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
162
click to vote
SEFM
2003
IEEE
16 years 6 days ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
169
click to vote
DAC
2003
ACM
16 years 6 days ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
174
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
194
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
We lay out a theoretical framework to evaluate watermarking techniques for intellectual property protection (IPP). Based on this framework, we analyze two watermarking techniques ...