skip to main content
Idioma:
previous page 1 Resultados 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
11
Decoupled execution of synchronous coordination models via behavioural automata
Decoupled execution of synchronous coordination models via behavioural automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decoupled execution of synchronous coordination models via behavioural automata

Proença, José ; Clarke, Dave ; de Vink, Erik ; Arbab, Farhad

Electronic proceedings in theoretical computer science, 2011-07, Vol.58 (Proc. FOCLASA 2011), p.65-79

Open Publishing Association

Texto completo disponível

Citações Citado por
12
Input-output Conformance Testing for Channel-based Service Connectors
Input-output Conformance Testing for Channel-based Service Connectors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Input-output Conformance Testing for Channel-based Service Connectors

Kokash, Natallia ; Arbab, Farhad ; Changizi, Behnaz ; Makhnist, Leonid

Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.19-35

Open Publishing Association

Texto completo disponível

Citações Citado por
13
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling dynamic reconfigurations in Reo using high-level replacement systems

Krause, Christian ; Maraikar, Ziyan ; Lazovik, Alexander ; Arbab, Farhad

Science of computer programming, 2011, Vol.76 (1), p.23-36 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
14
Fundamentals of Software Engineering (selected papers of FSEN 2013)
Fundamentals of Software Engineering (selected papers of FSEN 2013)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering (selected papers of FSEN 2013)

Hojjat, Hossein ; Sirjani, Marjan ; Arbab, Farhad

Science of computer programming, 2015-11, Vol.112, p.1-2 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
15
Preface
Preface
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface

Arbab, Farhad ; Ölveczky, Peter Csaba

Science of computer programming, 2014-04, Vol.83, p.1-2 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
16
Synthesizing structural and behavioral control for reconfigurations in component-based systems
Synthesizing structural and behavioral control for reconfigurations in component-based systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesizing structural and behavioral control for reconfigurations in component-based systems

Khakpour, Narges ; Arbab, Farhad ; Rutten, Eric

Formal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
17
Overview of Thirty Semantic Formalisms for Reo
Overview of Thirty Semantic Formalisms for Reo
Material Type:
Artigo 		Adicionar ao Meu Espaço

Overview of Thirty Semantic Formalisms for Reo

Jongmans, Sung-Shik ; Arbab, Farhad

Scientific annals of computer science, 2012-01, Vol.22 (1), p.201-251 [Periódico revisado por pares]

Iasi: Alexandru Ioan Cuza University of Iasi

Texto completo disponível

Citações Citado por
18
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Arbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter Csaba

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
19
Fundamentals of Software Engineering (selected papers of FSEN 2011)
Fundamentals of Software Engineering (selected papers of FSEN 2011)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering (selected papers of FSEN 2011)

Arbab, Farhad ; Sirjani, Marjan

Science of computer programming, 2013-12, Vol.78 (12), p.2433-2434 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
20
Channel-based coordination via constraint satisfaction
Channel-based coordination via constraint satisfaction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Channel-based coordination via constraint satisfaction

Clarke, Dave ; Proença, José ; Lazovik, Alexander ; Arbab, Farhad

Science of computer programming, 2011-08, Vol.76 (8), p.681-710 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 (68)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (83)
  2. Artigos  (59)
  3. Anais de Congresso  (12)
  4. Livros  (9)
  5. Reports  (1)
  6. Dissertações  (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  (13)
  4. 2012Até2013  (104)
  5. Após 2013  (43)
  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.