463 search results - page 55 / 93 » Using Colored Petri Nets for Conversation Modeling |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
INTERNET
2006
13 years 8 months ago
2006
Negotiation is a technique for reaching mutually beneficial agreement among autonomous entities. A concurrent negotiation problem occurs when one entity is negotiating simultaneous...
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
ACMSE
2005
ACM
14 years 2 months ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...
JSS
2010
13 years 3 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...