2124 search results - page 293 / 425 » Changing the paradigm of software engineering |
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
MSR
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we describe a case study at Philips Healthcare MRI focusing on evolutionary couplings, i.e., a technique to infer relationships among modules by analyzing their his...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
INFSOF
2008
13 years 9 months ago
2008
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...
MSR
2006
ACM
14 years 2 months ago
2006
ACM
Revision history provides a rich source of information to improve the understanding of changes made to programs, but it yields only limited insight into how these changes occurred...