537 search results - page 40 / 108 » Accountability and automation bias |
COMPSAC
2008
IEEE
15 years 1 days ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
DAC
2009
ACM
16 years 26 days ago
2009
ACM
Circuit reliability is affected by various fabrication-time and run-time effects. Fabrication-induced process variation has significant impact on circuit performance and reliabilit...
106
click to vote
CCS
2010
ACM
15 years 2 days ago
2010
ACM
Online social networks (OSNs) are popular collaboration and communication tools for millions of users and their friends. Unfortunately, in the wrong hands, they are also effective...