3624 search results - page 117 / 725 » Abstract Algebraic Logic |
158
click to vote
AISC
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
144
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
116
click to vote
CADUI
2004
15 years 6 months ago
2004
Abstract We describe MAUI, a user interface design tool that is based on a matrix algebra model of interaction. MAUI can be used to build and analyse designs for interactive system...
100
click to vote
MOC
1998
15 years 4 months ago
1998
Abstract. In seeking suitable Runge-Kutta methods for differential algebraic equations, we consider singly-implicit methods to which are appended diagonally-implicit stages. Metho...
158
Voted
SCP
2011
14 years 11 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...