skip to main content
Idioma:
A busca falhou por um motivo não definido. Isso pode ter sido causado por um caractere especial, não suportado, na expressão de busca.
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reo: a channel-based coordination model for component composition
Reo: a channel-based coordination model for component composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reo: a channel-based coordination model for component composition

ARBAB, FARHAD

Mathematical structures in computer science, 2004-06, Vol.14 (3), p.329-366 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
2
Treo: Textual Syntax for Reo Connectors
Treo: Textual Syntax for Reo Connectors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Treo: Textual Syntax for Reo Connectors

Dokter, Kasper ; Arbab, Farhad

Electronic proceedings in theoretical computer science, 2018-06, Vol.272 (Proc. MeTRiD 2018), p.121-135

Open Publishing Association

Texto completo disponível

Citações Citado por
3
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
4
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
5
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
6
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
7
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Arbab, Farhad ; Talcott, Carolyn Arbab, Farhad ; Talcott, Carolyn

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
8
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
9
Abstract Behavior Types: a foundation model for components and their composition
Abstract Behavior Types: a foundation model for components and their composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Behavior Types: a foundation model for components and their composition

Arbab, Farhad

Science of computer programming, 2005-03, Vol.55 (1), p.3-52 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
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
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 (140)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (177)
  2. Anais de Congresso  (49)
  3. Book Chapters  (29)
  4. Livros  (15)
  5. Newsletter Articles  (2)
  6. Reports  (1)
  7. magazinearticle  (1)
  8. Dissertações  (1)
  9. Web Resources  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (17)
  2. 1992Até2001  (29)
  3. 2002Até2008  (77)
  4. 2009Até2016  (100)
  5. Após 2016  (53)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (274)
  2. Japonês  (7)
  3. Português  (2)
  4. Alemão  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.