1940 search results - page 275 / 388 » Dependable Software: An Oxymoron |
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
In this paper, a case study investigating the experiences from using product-line architectures is presented involving two swedish companies, Axis Communications AB and Securitas ...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
EUROMICRO
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper suggests a new image compression scheme, using the discrete wavelet transformation (DWT), which is based on attempting to preserve the texturally important image charac...
ICSM
1998
IEEE
14 years 2 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
ISSTA
1998
ACM
14 years 2 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...