62 search results - page 12 / 13 » Two polygraphic presentations of Petri nets |
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
: We propose and analyze a class of trust management protocols for encounter-based routing in delay tolerant networks (DTNs). The underlying idea is to incorporate trust evaluation...
CIA
2007
Springer
14 years 5 months ago
2007
Springer
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome con icts in the behavior of agents can make the execution of interacti...
IFM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
AGENTS
2000
Springer
14 years 3 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
EPK
2007
14 years 6 days ago
2007
Abstract: Quality aspects become increasingly important while business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redund...