3719 search results - page 171 / 744 » order 2010 |
154
click to vote
JSS
2010
15 years 1 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
157
click to vote
JSYML
2010
15 years 1 months ago
2010
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, grou...
175
click to vote
JUCS
2010
15 years 1 months ago
2010
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
187
click to vote
JUCS
2010
15 years 1 months ago
2010
This paper describes recent work on strategy merger development in the authoring process of adaptive hypermedia. The goal of a merging strategy is to break a complex adaptation dec...
197
click to vote
NHM
2010
15 years 1 months ago
2010
We consider a star-shaped network consisting of a single node with N 3 connected arcs. The dynamics on each arc is governed by the wave equation. The arcs are coupled at the node ...