Sciweavers

418 search results - page 11 / 84
» A Formal Model of Human Workflow
Sort
View
CASSIS
2004
Springer
15 years 3 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
ICDE
2001
IEEE
159views Database» more  ICDE 2001»
16 years 1 months ago
Workflow and Process Synchronization with Interaction Expressions and Graphs
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
Christian Heinlein
AAAI
2004
15 years 1 months ago
CAMEO: Modeling Human Activity in Formal Meeting Situations
We present CAMEO, the Camera Assisted Meeting Event Observer, which is a physical awareness system designed for use by an agent-based electronic assistant. CAMEO is used to observ...
Paul E. Rybski, Fernando De la Torre, Raju Patil, ...
ESORICS
2007
Springer
15 years 3 months ago
Satisfiability and Resiliency in Workflow Systems
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
Qihua Wang, Ninghui Li
DILS
2006
Springer
15 years 3 months ago
Towards a Model of Provenance and User Views in Scientific Workflows
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davi...