6047 search results - page 1015 / 1210 » Modeling with Extend |
127
click to vote
ARGMAS
2006
Springer
15 years 7 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...
121
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...
118
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
115
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Heterogeneous Business Process Modeling (BPM) schemas have been a problem for business process management throughout the last couple of years. Although there are several standardiz...
114
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...