69
Voted
IFIP
2000
Springer
15 years 15 days ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
59
Voted
IFIP
2000
Springer
15 years 15 days ago
2000
Springer
IFIP
2000
Springer
15 years 15 days ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
IFIP
2000
Springer
15 years 15 days ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
56
Voted
IFIP
2000
Springer
15 years 15 days ago
2000
Springer
IFIP
2000
Springer
15 years 15 days ago
2000
Springer