1689 search results - page 148 / 338 » Registry-Based Support for Information Integration |
147
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
157
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a software framework, called Collaborator, to provide a shared work-space supporting the activities of virtual teams. This system exploits seamless integration ...
180
click to vote
IASSE
2004
15 years 7 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
207
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
197
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
More and more integration systems use ontologies to solve the problem of semantic heterogeneities between autonomous databases. To automate the integration process, a number of the...