927 search results - page 79 / 186 » Practical Limits on Software Dependability: A Case Study |
201
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
161
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
173
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
147
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
138
click to vote
ELPUB
2006
ACM
15 years 11 months ago
2006
ACM
Open access publishing strategies have traditionally been directed towards what has been regarded as a homogenous scientific community of universities, researchers and libraries. ...