1365 search results - page 68 / 273 » Maximal Causality Analysis |
110
click to vote
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
It has long been argued that the organizational structure and reporting relationships of the IT functional area profoundly affects organizational performance. However, since most ...
84
Voted
HRI
2006
ACM
15 years 6 months ago
2006
ACM
Humanoid robots offer many physical design choices such as voice frequency and head dimensions. We used hierarchical statistical mediation analysis to trace differences in peopleâ...
92
Voted
CCS
2001
ACM
15 years 5 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...