4353 search results - page 91 / 871 » Expressiveness of Process Algebras |
115
Voted
FUIN
2008
15 years 4 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
OODBS
1992
15 years 8 months ago
1992
This paper addresses the problem of de ning views that span several objectbases. Views are expressed in terms of an object algebra. We are interested in the degrees of coupling an...
122
click to vote
ITS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
133
Voted
ENTCS
2006
15 years 4 months ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
120
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a uni ed approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes. As with the Stan...