2430 search results - page 340 / 486 » Tool support for quality-driven development of software arch... |
160
click to vote
STEP
2005
IEEE
16 years 1 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
166
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
183
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
138
click to vote
ISCAS
2007
IEEE
16 years 22 days ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
179
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...