3719 search results - page 171 / 744 » order 2010 |
122
click to vote
JSS
2010
14 years 10 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 ...
126
click to vote
JSYML
2010
14 years 10 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...
143
Voted
JUCS
2010
14 years 10 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...
151
Voted
JUCS
2010
14 years 10 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...
154
click to vote
NHM
2010
14 years 10 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 ...