946 search results - page 80 / 190 » Process Algebra and Non-Interference |
100
Voted
EWC
2007
15 years 2 months ago
2007
In numerous instances, accurate algorithms for approximating the original geometry is required. One typical example is a circle involute curve which represents the underlying geom...
116
click to vote
AUTOMATICA
2005
15 years 2 months ago
2005
: This work proposes a systematic methodology for the optimal selection of controller parameters, in the sense of minimizing a performance index which is a quadratic function of th...
103
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This ac...
119
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
136
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...