7529 search results - page 255 / 1506 » The Modula-3 Type System |
251
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
154
click to vote
IJBC
2010
15 years 2 months ago
2010
In this paper, a discrete version of a reaction-diffusion equation, also known as coupled map lattice (CML), which corresponds to the Turing model of morphogenesis is studied. It i...
181
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
—Robust tuning of lead-lag type controller used for regulating FACTS control signal to improve dynamic stability has been an area of interest in research. This paper presents a n...
178
Voted
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
150
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper reports on work carried out to develop a spelling and grammar corrector for Danish, addressing in particular the issue of how a form of shallow parsing is combined with...