805 search results - page 9 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
135
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
128
Voted
FC
2005
Springer
15 years 9 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
125
Voted
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
137
Voted
FORTE
2010
15 years 5 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
110
Voted
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...