852 search results - page 79 / 171 » entcs 2010 |
110
Voted
ENTCS
2002
15 years 12 days ago
2002
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
90
Voted
ENTCS
2002
15 years 12 days ago
2002
The initial value problem of the Korteweg-de Vries (KdV) equation posted on the real line R: ut + uux + uxxx = 0, x R, t R u(x, 0) = (x), defines a nonlinear map KR from the ...
72
Voted
ENTCS
2002
15 years 12 days ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
120
Voted
ENTCS
2002
15 years 12 days ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
120
Voted
ENTCS
2002
15 years 11 days ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...