Sciweavers

288 search results - page 1 / 58
» Formal Analysis of Workflow Systems with Security Considerat...
Sort
View
66
Voted
SEKE
2005
Springer
15 years 6 months ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
ESCIENCE
2007
IEEE
15 years 4 months ago
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
Ping Yang, Zijiang Yang, Shiyong Lu
126
Voted
CSCWD
2001
Springer
15 years 5 months ago
Modeling Workflow within Distributed Systems
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
Yuhong Yan, Alex Bejan
107
Voted
EDOC
2000
IEEE
15 years 5 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
81
Voted
IS
2007
15 years 17 days ago
DW-RBAC: A formal security model of delegation and revocation in workflow systems
Jacques Wainer, Akhil Kumar, Paulo Barthelmess