5668 search results - page 130 / 1134 » The case for software evolution |
141
click to vote
AISC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
107
click to vote
ANCS
2010
ACM
14 years 12 months ago
2010
ACM
Software packet processing is becoming more important to enable differentiated and rapidly-evolving network services. With increasing numbers of programmable processor and acceler...
100
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Establishing a grassroots innovation pipeline has come to the fore as strategy for nurturing innovation within large organizations. A key element of such pipelines is the use of a...
137
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
118
click to vote
USENIX
2000
15 years 3 months ago
2000
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...