474 search results - page 41 / 95 » Assurance Based Development of Critical Systems |
151
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
174
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Multi-dimensional storage virtualization (MDSV) allows multiple virtual disks, each with a distinct combination of capacity, latency and bandwidth requirements, to be multiplexed ...
154
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— This paper presents a decentralized negotiation protocol for cooperative economic scheduling in a supply chain environment. For this purpose we designed autonomous agen...
133
click to vote
VCIP
2003
15 years 6 months ago
2003
This paper presents a visual color image quality metric assessment with full reference image. The metric is highly based on human visual system properties in order to get the best...
156
click to vote
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
Understanding and modeling the variability of an existing system is a highly critical and challenging task when adopting a product line approach. Only little guidance is available...