279 search results - page 11 / 56 » Testing for Refinement in CSP |
128
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
128
click to vote
ENTCS
2008
15 years 2 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
146
click to vote
WSCG
2003
15 years 3 months ago
2003
We present a refinement and a coarsening (also simplification or decimation) algorithm for the adaptive representation of bivariate functions. The algorithms have proved to be eff...
134
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
— Ubiquitous image processing tasks (such as transform decompositions, filtering and motion estimation) do not currently provide graceful degradation when their clock-cycles budg...
126
click to vote
DAC
2006
ACM
15 years 6 months ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...