2088 search results - page 23 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
CAD
2004
Springer
14 years 11 months ago
2004
Springer
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
132
click to vote
FORTE
2009
14 years 9 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
111
click to vote
ER
1993
Springer
15 years 3 months ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
100
click to vote
TREC
2001
15 years 1 months ago
2001
In this paper, we describe a system for automatic and interactive content-based retrieval of video that integrates features, models, and semantics. The novelty of the approach lie...
SIGSOFT
2005
ACM
16 years 12 days ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...