Sciweavers

352 search results - page 52 / 71
» Extended Timed Automata and Time Petri Nets
Sort
View
CMOT
2006
124views more  CMOT 2006»
14 years 9 months ago
My agents love to conform: Norms and emotion in the micro-macro link
This contribution investigates the function of emotion in relation to norms, both in natural and artificial societies. We illustrate that unintentional behavior can be normative an...
Christian von Scheve, Daniel Moldt, Julia Fix, Rol...
FUIN
2002
63views more  FUIN 2002»
14 years 9 months ago
Probabilistic Cluster Unfoldings
Abstract. This article introduces probabilistic cluster branching processes, a probabilistic unfolding semantics for untimed Petri nets, with no structural or safety assumptions, g...
Stefan Haar
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
15 years 3 months ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...
WEBI
2005
Springer
15 years 3 months ago
IPR: Automated Interaction Process Reconciliation
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
Zongxia Du, Jinpeng Huai, Yunhao Liu, Chunming Hu,...
ACPC
1999
Springer
15 years 1 months ago
Modeling and Scheduling for MPEG-4 Based Video Encoder Using a Cluster of Workstations
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...
Yong He, Ishfaq Ahmad, Ming L. Liou