631 search results - page 86 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
DFG
2003
Springer
15 years 2 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
The requirements for secure document workflows in enterprises become increasingly sophisticated, with employees performing different tasks under different roles using the same pro...
ARGMAS
2006
Springer
15 years 1 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
CBSE
2006
Springer
15 years 1 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ATAL
2006
Springer
14 years 11 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...