Sciweavers

498 search results - page 4 / 100
» A Formal Foundation for ODRL
Sort
View
HICSS
2008
IEEE
135views Biometrics» more  HICSS 2008»
15 years 8 months ago
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
Sinnakkrishnan Perumal, Ambuj Mahanti
CSFW
2004
IEEE
15 years 5 months ago
A Formal Foundation for XrML
Joseph Y. Halpern, Vicky Weissman
140
Voted
ICFEM
2000
Springer
15 years 5 months ago
Formal Foundations of Object-Oriented Modeling Notations
Claudia Pons, Gabriel Baum
113
Voted
FOIS
2001
15 years 3 months ago
A formal foundation for process modeling
Christopher Menzel, Michael Grüninger