3038 search results - page 462 / 608 » Controlling Engineering Problem Solving |
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
PPPJ
2009
ACM
14 years 4 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...