Sciweavers

10669 search results - page 201 / 2134
» Software - Implemented Self-healing System
Sort
View
SEKE
2005
Springer
16 years 17 days ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
SOCO
2005
Springer
16 years 17 days ago
Analysis of Compositional Conflicts in Component-Based Systems
Andreas Leicher, Susanne Busse, Jörn Guy S&uu...