154
click to vote
FASE
15 years 10 months ago
2010 Springer
Traces of the evolution of software systems are left in a number of different repositories: such as configuration management systems, bug tracking systems, mailing lists. Develope...
134
Voted
FASE
15 years 10 months ago
2010 Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
114
click to vote
FASE
15 years 10 months ago
2010 Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
138
click to vote
FASE
15 years 10 months ago
2010 Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
141
click to vote
FASE
15 years 10 months ago
2010 Springer
Good resource scheduling plays a pivotal role in successful software development projects. However, effective resource scheduling is complicated by such disruptions as requirements...
|