1742 search results - page 18 / 349 » An Applicative Module Calculus |
134
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
125
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
68
Voted
ISCAS
1995
IEEE
15 years 5 months ago
1995
IEEE
- Recent work has shown that high-order single-bit sigma-delta modulators suffer from lowlevel artifacts such as idle tones and noise modulation. Techniques that have been proposed...
208
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
147
click to vote
IFIPTCS
2010
15 years 6 days ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...