3435 search results - page 346 / 687 » Aspect Model Unweaving |
170
click to vote
GD
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Techniques for drawing graphs based on force-directed placement and virtual physical models have proven surprisingly successful in producing good layouts of undirected gr...
179
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
166
click to vote
EPIA
1989
Springer
15 years 10 months ago
1989
Springer
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
181
click to vote
ICARIS
2007
Springer
15 years 10 months ago
2007
Springer
In this conceptual paper, some features of regulatory T cells are described. These cells have been receiving an increasing attention in Immunological research, due to their importa...
167
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...