3091 search results - page 138 / 619 » The Microsoft Relational Engine |
146
Voted
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
145
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
153
click to vote
WADT
1998
Springer
15 years 9 months ago
1998
Springer
We investigate the rewrite relation over graphs induced by constructor-based weakly orthogonal graph rewriting systems. It is well known that this relation is not confluent in gene...
144
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
138
click to vote
MODELS
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molièreâ...