2132 search results - page 99 / 427 » Automated software winnowing |
106
click to vote
HCI
2009
14 years 9 months ago
2009
This study compared situation awareness across three flight deck decision aiding modes. Pilots resolved air traffic conflicts using a click and drag software tool. In the automated...
58
Voted
FMCAD
2009
Springer
15 years 5 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
KAIS
2008
14 years 11 months ago
2008
This paper focuses on knowledge empowered automated negotiation systems for buyer-centric multi-bilateral multi-attribute e-Procurement. We propose two knowledge empowered models,...
76
Voted
DAC
2004
ACM
16 years 3 days ago
2004
ACM
Programmable circuit design has played an important role in improving design productivity over the last few decades. By imposing structure on the design, efficient automation of s...