5433 search results - page 591 / 1087 » Tool Support for Traceability-Adaptation |
176
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
216
click to vote
APCCM
2008
15 years 8 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
169
click to vote
APVIS
2008
15 years 8 months ago
2008
We present the Zoomable Adjacency Matrix Explorer (ZAME), a visualization tool for exploring graphs at a scale of millions of nodes and edges. ZAME is based on an adjacency matrix...
178
click to vote
LREC
2010
15 years 8 months ago
2010
In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between differ...
155
click to vote
LREC
2010
15 years 8 months ago
2010
The amount of research data in the Humanities is increasing at fast speed. Metadata helps describing and making accessible this data to interested researchers within and across in...