7139 search results - page 997 / 1428 » Language Engineering in Practice |
182
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
With the rise of cloud computing, it is increasingly attractive for end-users (organizations and individuals) to outsource the management of their data to a small number of larges...
173
click to vote
ISESE
2006
IEEE
16 years 29 days ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
211
click to vote
WCRE
2006
IEEE
16 years 29 days ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
162
click to vote
JCDL
2006
ACM
16 years 27 days ago
2006
ACM
When search results against digital libraries and web resources have limited metadata, augmenting them with meaningful and stable category information can enable better overviews ...
210
click to vote
PASTE
2005
ACM
16 years 15 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...