2430 search results - page 340 / 486 » Tool support for quality-driven development of software arch... |
179
Voted
STEP
2005
IEEE
16 years 17 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...
180
click to vote
SEMWEB
2007
Springer
16 years 1 months 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...
199
click to vote
ICFEM
2004
Springer
16 years 11 days 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, ...
148
Voted
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
203
Voted
CBSE
2011
Springer
14 years 7 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 ...