418 search results - page 6 / 84 » A Formal Model of Human Workflow |
CAISE
2003
Springer
13 years 11 months ago
2003
Springer
IS
2007
13 years 7 months ago
2007
DBSEC
2001
13 years 8 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
COMPSAC
2002
IEEE
14 years 12 days ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
ECEASST
2008
13 years 7 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...