Sciweavers

498 search results - page 6 / 100
» A Formal Foundation for XrML
Sort
View
FOIS
2001
14 years 11 months ago
A formal foundation for process modeling
Christopher Menzel, Michael Grüninger
TISSEC
2008
63views more  TISSEC 2008»
14 years 9 months ago
Formal foundations for hybrid hierarchies in GTRBAC
James B. D. Joshi, Elisa Bertino, Arif Ghafoor, Yu...
JSS
2010
132views more  JSS 2010»
14 years 4 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu