7380 search results - page 348 / 1476 » Engineering Software Intensive Systems |
119
click to vote
VAMOS
2008
Springer
15 years 5 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
129
click to vote
AC
2005
Springer
15 years 3 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
159
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
113
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
This paper presents POLUS, a software maintenance tool capable of iteratively evolving running software into newer versions. POLUS's primary goal is to increase the dependabi...
123
click to vote
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
Many would argue that future breakthroughs in software productivity will dependon our ability to combine existing pieces of software to produce new applications. An important step...