Hasil Pencarian - Farhad Arbab

  • Menampilkan 1 - 10 hasil dari 10
Perbaiki Hasil
  1. 1
    Treo: Textual Syntax for Reo Connectors

    Treo: Textual Syntax for Reo Connectors oleh Kasper Dokter, Farhad Arbab

    Diterbitkan 2018-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Data optimizations for constraint automata

    Data optimizations for constraint automata oleh Sung-Shik T. Q. Jongmans, Farhad Arbab

    Diterbitkan 2017-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    A Compositional Framework for Preference-Aware Agents

    A Compositional Framework for Preference-Aware Agents oleh Tobias Kappé, Farhad Arbab, Carolyn Talcott

    Diterbitkan 2016-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Modularizing and Specifying Protocols among Threads

    Modularizing and Specifying Protocols among Threads oleh Farhad Arbab, Sung-Shik T.Q. Jongmans

    Diterbitkan 2013-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata

    Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata oleh Sung-Shik T.Q. Jongmans, Farhad Arbab

    Diterbitkan 2011-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Toward Sequentializing Overparallelized Protocol Code

    Toward Sequentializing Overparallelized Protocol Code oleh Sung-Shik T.Q. Jongmans, Farhad Arbab

    Diterbitkan 2014-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Input-output Conformance Testing for Channel-based Service Connectors

    Input-output Conformance Testing for Channel-based Service Connectors oleh Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist

    Diterbitkan 2011-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    A Compositional Semantics for Stochastic Reo Connectors

    A Compositional Semantics for Stochastic Reo Connectors oleh Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab

    Diterbitkan 2010-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    Relating BIP and Reo

    Relating BIP and Reo oleh Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze

    Diterbitkan 2015-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Decoupled execution of synchronous coordination models via behavioural automata

    Decoupled execution of synchronous coordination models via behavioural automata oleh José Proença, Dave Clarke, Erik de Vink, Farhad Arbab

    Diterbitkan 2011-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: