A Multi-Agent Organizational Framework for Coevolutionary Optimization (Englisch)
- Neue Suche nach: Danoy, G.
- Neue Suche nach: Bouvry, P.
- Neue Suche nach: Boissier, O.
- Neue Suche nach: Danoy, G.
- Neue Suche nach: Bouvry, P.
- Neue Suche nach: Boissier, O.
- Neue Suche nach: Jensen, K.
- Neue Suche nach: Donatelli, Susanna
- Neue Suche nach: Koutny, Maciej
In:
International conference on application and theory of Petrie nets and other models of concurrency
6550
;
199-224
;
2010
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:A Multi-Agent Organizational Framework for Coevolutionary Optimization
-
Beteiligte:Danoy, G. ( Autor:in ) / Bouvry, P. ( Autor:in ) / Boissier, O. ( Autor:in ) / Jensen, K. / Donatelli, Susanna / Koutny, Maciej
-
Kongress:30th, International conference on application and theory of Petrie nets and other models of concurrency ; 2009 ; Paris
-
Erschienen in:International conference on application and theory of Petrie nets and other models of concurrency , 6550 ; 199-224LECTURE NOTES IN COMPUTER SCIENCE , 6550 ; 199-224
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2010
-
Format / Umfang:26 pages
-
Anmerkungen:Includes selected papers from the 10th workshop and tutorial on practical use of coloured Petrie nets and the CPN tools, Aarhus, Denmark, October 19-22, 2009
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Vicinity Respecting Homomorphisms for Abstracting System RequirementsDesel, J. / Merceron, A. et al. | 2010
- 21
-
Search-Order Independent State CachingEvangelista, S. / Kristensen, L.M. et al. | 2010
- 42
-
Bounded Parametric Model Checking for Elementary Net SystemsKnapik, M. / Szreter, M. / Penczek, W. et al. | 2010
- 72
-
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri NetsPenczek, W. / Polrola, A. / Zbrzezny, A. et al. | 2010
- 98
-
Parametric Model Checking with VerICSKnapik, M. / Niewiadomski, A. / Penczek, W. / Polrola, A. / Szreter, M. / Zbrzezny, A. et al. | 2010
- 121
-
Schedule-Aware Workflow Management SystemsMans, R.S. / Russell, N.C. / van der Aalst, W.M.P. / Moleman, A.J. / Bakker, P.J.M. et al. | 2010
- 144
-
On-the-Fly Auditing of Business Processesvan Hee, K. / Hidders, J. / Houben, G.-J. / Paredaens, J. / Thiran, P. et al. | 2010
- 174
-
Modeling Organizational Units as Modular Components of Systems of SystemsWester-Ebbinghaus, M. / Moldt, D. / Kohler-Bussmeier, M. et al. | 2010
- 199
-
A Multi-Agent Organizational Framework for Coevolutionary OptimizationDanoy, G. / Bouvry, P. / Boissier, O. et al. | 2010