288 search results - page 6 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
72
Voted
DEXAW
1997
IEEE
15 years 1 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
Delegation is a mechanism that allows a user A to act on another user B's behalf by making B's access rights available to A. It is well recognized as an important mechani...
96
Voted
APSEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
71
Voted
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
When investigating the performance of running scientific/ commercial workflows in parallel and distributed systems, we often take into account only the resources allocated to the ...
CLADE
2008
IEEE
14 years 11 months ago
2008
IEEE
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...