671 search results - page 96 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ARGMAS
2006
Springer
15 years 3 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...
104
click to vote
ATAL
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...
109
click to vote
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—In this paper, we introduce FlowSifter, a systematic framework for online application protocol field extraction. FlowSifter introduces a new grammar model Counting Regu...
116
click to vote
WWW
2005
ACM
16 years 13 days ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...