1940 search results - page 273 / 388 » Dependable Software: An Oxymoron |
LCTRTS
2001
Springer
14 years 2 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
RE
2001
Springer
14 years 2 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
In the multimedia field, metadata are becoming increasingly important for efficiently cataloguing the abundant flood of information. (Metadata are data on information structure...
MSS
2000
IEEE
14 years 2 months ago
2000
IEEE
Disk subsystems span the range of configuration complexity from single disk drives to large installations of disk arrays. They can be directly attached to individual computer syst...
UIST
2000
ACM
14 years 2 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...