1864 search results - page 65 / 373 » Formal topology and domains |
172
click to vote
HCI
2009
15 years 4 months ago
2009
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
152
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
182
click to vote
AIA
2007
15 years 7 months ago
2007
In multidisciplinary medical services (e.g. Intensive Care Units or Pain Management Centers), Case-Based Reasoning systems require good case representations. When multiple disorde...
177
click to vote
ASWEC
2009
IEEE
16 years 1 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...
163
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...