3564 search results - page 482 / 713 » Evaluating a Formal Modelling Language |
107
click to vote
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
146
click to vote
EELC
2006
15 years 2 months ago
2006
The Human Speechome Project is an effort to observe and computationally model the longitudinal course of language development for a single child at an unprecedented scale. The ide...
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
92
Voted
ASWEC
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
AUSAI
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we introduce an experimental approach to the design, analysis and implementation of market mechanisms based on double auction. We define a formal market model that ...