12745 search results - page 333 / 2549 » Automating test automation |
173
click to vote
CN
2006
15 years 6 months ago
2006
In today' s competitive electric utility marketplace, real-time information becomes the key factor for reliable delivery of power to the end-users, profitability of the electr...
184
click to vote
IJAIT
2006
15 years 6 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
174
click to vote
IJDST
2011
14 years 10 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
188
click to vote
CADE
2007
Springer
16 years 26 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
182
Voted
AUTOMOTIVEUI
2009
ACM
15 years 11 months ago
2009
ACM
The increasing traffic volume confronts the road user with a challenging task. The high number of traffic deaths might not be reducible with passive safety alone. However systems ...