Sciweavers

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