805 search results - page 9 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
IFIP
2009
Springer
14 years 9 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 ...
FC
2005
Springer
15 years 5 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...
QEST
2007
IEEE
15 years 6 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. ...
101
click to vote
FORTE
2010
15 years 1 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...
CASSIS
2004
Springer
15 years 5 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...