1782 search results - page 154 / 357 » Tool Support for Proof Engineering |
171
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
The Web contains vast amounts of linguistic data. One key issue for linguists and language technologists is how to access it. Commercial search engines give highly compromised acc...
168
click to vote
DGO
2003
15 years 7 months ago
2003
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...
179
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—In a software project, outsourcing the development of a particular functionality, reusing a part in another software, or handing-over a part of the code to a new team member req...
174
click to vote
CSMR
2007
IEEE
16 years 24 days ago
2007
IEEE
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...
171
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Management of architectural knowledge is vital for improving an organisation's capabilities in software architecture. Recently, there have been many efforts to develop variou...