5668 search results - page 970 / 1134 » The case for software evolution |
165
click to vote
DOCENG
2011
ACM
14 years 3 months ago
2011
ACM
The results presented in this paper come from an exploratory study of 19,379 mind maps created by 11,179 users from the mind mapping applications ‘Docear’ and ‘MindMeister...
156
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
190
Voted
VEE
2012
ACM
13 years 11 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
207
Voted
PEPM
2007
ACM
17 years 1 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
123
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
We describe a digital image forensics technique to distinguish images captured by a digital camera from computer generated images. Our approach is based on the fact that image acq...