Bianca Polak und Olle Lindeberg - Info zur Person

(1 - 11 von 11

)

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP ...books.google.co.in › books

books.google.co.in

Frances Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, and Jan Treur. Compositional Design and Verification ...

Verhaltensgarantien in Selbst-Organisierenden Systemenbooks.google.co.in › books

books.google.co.in

Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, and Jan Treur. Compositional Verification of a ...

Agent-Based Defeasible Control in Dynamic Environments - Google Books

books.google.ca

This could be done by formalising the proofs of a verification process in a suitable proof system. Frances M.T. Brazier, Frank Cornelissen, Catholijn M. Jonker, Bianca Polak and Jan Treur Vrije Universiteit Amsterdam, The Netherlands. Rune Gustavsson and Olle Lindeberg University of Karlskrona/Ronneby (HK/R), Sweden.

Agent-Based Defeasible Control in Dynamic Environments - Google Books

books.google.de

... Dynamic Environments John-Jules Meyer, Jan Treur. RUNE GUSTAVSSON, CATHOLIJN M. JONKER, OLLE LINDEBERG, BIANCA POLAK AND JAN TREUR ...

dblp: Olle Lindeberg

dblp2.uni-trier.de

List of computer science publications by Olle Lindeberg

Olle Lindeberg - dblpdblp.org › Persons

dblp.org

· Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur :

A Multi-Agent System Performing One-to-Many Negotiation for Load...

docplayer.net

... Catholijn M. Jonker 1, Olle Lindeberg 2, Bianca Polak 1, Jan Treur 1 1 Vrije Universiteit Amsterdam Department of Mathematics and Computer Science, ...

CiteSeerX — A Multi-Agent System Performing One-to-Many Negotiation...

citeseerx.ist.psu.edu

BibTeX. @MISC{Brazier00amulti-agent, author = {Frances Brazier and Frank Cornelissen and Rune Gustavsson and Catholijn M. Jonker and Olle Lindeberg and Bianca Polak and Jan Treur}, title = {A Multi-Agent System Performing One-to -Many Negotiation for Load Balancing of Electricity Use}, year = {2000} } ...

Person "Polak" (3)
Vorname "Bianca" (22307)
Name "Polak" (587)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bianca Polak und Olle Lindeberg Person-Info

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP ...books.google.co.in › books

Verhaltensgarantien in Selbst-Organisierenden Systemenbooks.google.co.in › books

Agent-Based Defeasible Control in Dynamic Environments - Google Books

Agent-Based Defeasible Control in Dynamic Environments - Google Books

dblp: Olle Lindeberg

Olle Lindeberg - dblpdblp.org › Persons

A Multi-Agent System Performing One-to-Many Negotiation for Load...

CiteSeerX — A Multi-Agent System Performing One-to-Many Negotiation...

A Two Ways Communication-Based Distributed Control for Direct Load...

CiteSeerX

Alle Infos zum Namen "Bianca Polak"