957 search results - page 39 / 192 » Negotiations and Petri Nets |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
FASE
2008
Springer
15 years 1 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
JSW
2007
14 years 11 months ago
2007
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
IPMU
2010
Springer
14 years 10 months ago
2010
Springer
Negotiation is a process that ranges from international issues to common society interactions. We present approaches to facilitate the process by exploring alternative spaces for t...
ICCS
2004
Springer
15 years 4 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...