skip to main content
Refinado por: autor: Meng, Sun remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Synthesis of Reo circuits from scenario-based interaction specifications
Material Type:
Artigo
Adicionar ao Meu Espaço

Synthesis of Reo circuits from scenario-based interaction specifications

Meng, Sun ; Arbab, Farhad ; Baier, Christel

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

Elsevier B.V

Texto completo disponível

2
Connectors as designs: Modeling, refinement and test case generation
Material Type:
Artigo
Adicionar ao Meu Espaço

Connectors as designs: Modeling, refinement and test case generation

Meng, Sun ; Arbab, Farhad ; Aichernig, Bernhard K. ; Aştefănoaei, Lăcrămioara ; de Boer, Frank S. ; Rutten, Jan

Science of computer programming, 2012-07, Vol.77 (7-8), p.799-822 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

3
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Material Type:
Artigo
Adicionar ao Meu Espaço

QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata

Meng, Sun ; Arbab, Farhad

Fundamenta informaticae, 2009-01, Vol.95 (1), p.103-128 [Periódico revisado por pares]

Texto completo disponível

4
Towards Using Reo for Compliance-Aware Business Process Modeling
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Towards Using Reo for Compliance-Aware Business Process Modeling

Arbab, Farhad ; Kokash, Natallia ; Meng, Sun

ISoLA, 2008, p.108-123 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

5
QoS-driven service selection and composition
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

QoS-driven service selection and composition

Sun Meng ; Arbab, F.

2008 8th International Conference on Application of Concurrency to System Design, 2008, p.160-169

IEEE

Texto completo disponível

6
Synthesis of Connectors from Scenario-Based Interaction Specifications
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Synthesis of Connectors from Scenario-Based Interaction Specifications

Arbab, Farhad ; Meng, Sun

CBSE, 2008, p.114-129 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

7
From Coordination to Stochastic Models of QoS
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

From Coordination to Stochastic Models of QoS

Arbab, Farhad ; Chothia, Tom ; van der Mei, Rob ; Meng, Sun ; Moon, YoungJoo ; Verhoef, Chrétien

COORDINATION, 2009, p.268-287 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

8
Connectors as Designs
Material Type:
Artigo
Adicionar ao Meu Espaço

Connectors as Designs

Meng, Sun ; Arbab, Farhad

Electronic Notes in Theoretical Computer Science, 2009-11, Vol.255 (10), p.119-135

Elsevier B.V

Texto completo disponível

9
Component Connectors with QoS Guarantees
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Component Connectors with QoS Guarantees

Hutchison, David ; Kanade, Takeo ; Kittler, Josef

COORDINATION, 2007, Vol.4467, p.286-304 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Sem texto completo

10
Web services choreography and orchestration in Reo and constraint automata
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Web services choreography and orchestration in Reo and constraint automata

Meng, Sun ; Arbab, Farhad

Proceedings of the 2007 ACM symposium on applied computing, 2007, p.346-353

ACM

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (9)
  2. Revistas revisadas por pares (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (8)
  2. Artigos  (5)
  3. Book Chapters  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2007  (1)
  2. 2007Até2007  (3)
  3. 2008Até2008  (3)
  4. 2009Até2010  (7)
  5. Após 2010  (2)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.