463 search results - page 58 / 93 » Using Colored Petri Nets for Conversation Modeling |
144
click to vote
JSS
2006
15 years 3 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
128
click to vote
MASCOTS
2003
15 years 4 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
118
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
141
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
We carry out two studies on affective state modeling for communication settings that involve unilateral intent on the part of one participant (the evoker) to shift the affective s...
126
click to vote
SIMUTOOLS
2008
15 years 4 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...