6187 search results - page 843 / 1238 » Practical Software Measurement |
184
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
152
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Ideally, enterprise administrators could specify fine-grain policies that drive how the underlying switches forward, drop, and measure traffic. However, existing techniques for fl...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
192
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
170
click to vote
TSE
2008
15 years 6 months ago
2008
There is a growing consensus that crosscutting concerns harm code quality. An example of a crosscutting concern is a functional requirement whose implementation is distributed acro...