3920 search results - page 565 / 784 » Challenges in Software Evolution |
166
click to vote
INTENSIVE
2009
IEEE
15 years 11 months ago
2009
IEEE
Digital Preservation deals with the long-term storage, access, and maintenance of digital data objects. In order to prevent a loss of information, digital libraries and archives a...
150
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
136
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
141
click to vote
REFSQ
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
163
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...