2911 search results - page 473 / 583 » A Theory of Expressiveness in Mechanisms |
117
click to vote
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
When packet filtering is used as a security mechanism, different routers may need to cooperate to enforce the desired security policy. It is difficult to ensure that they will d...
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
139
Voted
ISMIS
1997
Springer
15 years 5 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
108
click to vote
TAPSOFT
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
109
click to vote
TPHOL
1994
IEEE
15 years 5 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...