5547 search results - page 726 / 1110 » Software Variability Management |
198
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
178
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
171
click to vote
RTAS
1995
IEEE
15 years 10 months ago
1995
IEEE
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
190
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
We study the problem of scheduling repetitive real-time tasks with the Earliest Deadline First (EDF) policy that can guarantee the given maximal temperature constraint. We show th...
162
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
This paper proposes a fault-prone module prediction method that combines association rule mining with logistic regression analysis. In the proposed method, we focus on three key m...