skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 2010Até2017 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Compositional Framework for Preference-Aware Agents
A Compositional Framework for Preference-Aware Agents
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Compositional Framework for Preference-Aware Agents

Kappé, Tobias ; Arbab, Farhad ; Talcott, Carolyn

Electronic proceedings in theoretical computer science, 2016-12, Vol.232 (Proc. V2CPS-16), p.21-35

Open Publishing Association

Texto completo disponível

Citações Citado por
2
Fundamentals of Software Engineering
Fundamentals of Software Engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering

Farhad Sirjani, Marjan Arbab Marjan Sirjani

Springer Berlin Heidelberg 2013

Acesso online

3
Data optimizations for constraint automata
Data optimizations for constraint automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Data optimizations for constraint automata

Jongmans, Sung-Shik T. Q. ; Arbab, Farhad

Logical methods in computer science, 2016-01, Vol.12, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Toward Sequentializing Overparallelized Protocol Code
Toward Sequentializing Overparallelized Protocol Code
Material Type:
Artigo 		Adicionar ao Meu Espaço

Toward Sequentializing Overparallelized Protocol Code

Jongmans, Sung-Shik T.Q. ; Arbab, Farhad

Electronic proceedings in theoretical computer science, 2014-10, Vol.166 (Proc. ICE 2014), p.38-44

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Modularizing and Specifying Protocols among Threads
Modularizing and Specifying Protocols among Threads
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modularizing and Specifying Protocols among Threads

Jongmans, Sung-Shik T.Q. ; Arbab, Farhad

Electronic proceedings in theoretical computer science, 2013-02, Vol.109 (Proc. PLACES 2012), p.34-45

Open Publishing Association

Texto completo disponível

Citações Citado por
6
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Arbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, Marjan

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
7
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools

Kokash, N. ; Arbab, F.

IEEE transactions on services computing, 2013-04, Vol.6 (2), p.186-200 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
8
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata

Jongmans, Sung-Shik T.Q. ; Arbab, Farhad

Electronic proceedings in theoretical computer science, 2011-07, Vol.59 (Proc. ICE 2011), p.84-103

Open Publishing Association

Texto completo disponível

Citações Citado por
9
Relating BIP and Reo
Relating BIP and Reo
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relating BIP and Reo

Dokter, Kasper ; Jongmans, Sung-Shik ; Arbab, Farhad ; Bliudze, Simon

Electronic proceedings in theoretical computer science, 2015-08, Vol.189 (Proc. ICE 2015), p.3-20

Open Publishing Association

Texto completo disponível

Citações Citado por
10
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Arbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, Marjan

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (67)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (83)
  2. Artigos  (58)
  3. Anais de Congresso  (12)
  4. Livros  (9)
  5. Dissertações  (2)
  6. Reports  (1)
  7. Mais opções open sub menu

Autor/Criador 

  1. Sirjani, M  (1)
  2. Arbab, F  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2010  (1)
  2. 2010Até2010  (6)
  3. 2011Até2011  (14)
  4. 2012Até2013  (104)
  5. Após 2013  (42)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (164)
  2. Português  (1)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sirjani, M
  2. Arbab, F

Neste Assunto:

  1. Science & Technology
  2. Computer Science
  3. Technology
  4. Computer Science, Software Engineering
  5. Computer Science, Theory & Methods

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.