1071 search results - page 25 / 215 » The Calculus of Algebraic Constructions |
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
AMC
2006
13 years 9 months ago
2006
This paper presents an algebraic approach to construct M-band orthonormal wavelet bases with perfect reconstruction. We first derive the system of constraint equations of M-band f...
CADE
1997
Springer
14 years 1 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...