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: tipo de recurso: Anais de Congresso remover Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Semantic Model for Interacting Cyber-Physical Systems
A Semantic Model for Interacting Cyber-Physical Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Semantic Model for Interacting Cyber-Physical Systems

Lion, Benjamin ; Arbab, Farhad ; Talcott, Carolyn

Electronic proceedings in theoretical computer science, 2021, Vol.347, p.77-95

Texto completo disponível

Citações Citado por
2
Take Command of Your Constraints
Take Command of Your Constraints
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Take Command of Your Constraints

Jongmans, Sung-Shik T. Q. ; Arbab, Farhad Viroli, Mirko ; Holvoet, Tom

Coordination Models and Languages, p.117-132 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services

Sargolzaei, Mahdi ; Santini, Francesco ; Arbab, Farhad ; Afsarmanesh, Hamideh Bravetti, Mario ; Hierons, Robert M. ; Merayo, Mercedes G.

Software Engineering and Formal Methods, p.152-166 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Coordination through Channel Composition
Coordination through Channel Composition
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Coordination through Channel Composition

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

Coordination Models and Languages, 2002, p.22-39 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms

Jongmans, Sung-Shik T. Q. ; Halle, Sean ; Arbab, Farhad Kühn, Eva ; Pugliese, Rosario

Coordination Models and Languages, p.65-82 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
QoS-driven service selection and composition
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

Citações Citado por
7
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:
Ata de Congresso 		Adicionar ao Meu Espaço

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

Sirjani, Marjan ; Arbab, Farhad

Berlin, Heidelberg: Springer Berlin Heidelberg 2013

Texto completo disponível

Citações Citado por
8
Tiles for Reo
Tiles for Reo
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Tiles for Reo

Arbab, Farhad ; Bruni, Roberto ; Clarke, Dave ; Lanese, Ivan ; Montanari, Ugo Corradini, A ; Montanari, U

Lecture Notes in Computer Science, 2009, Vol.5486, p.37-55 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
9
Web services choreography and orchestration in Reo and constraint automata
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

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Modelling coordination in biological systems
Modelling coordination in biological systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modelling coordination in biological systems

Clarke, Dave ; Costa, David ; Arbab, Farhad Steffen, B ; Margaria, T

Lecture notes in computer science, 2006, Vol.4313, p.9-25 [Periódico revisado por pares]

Springer

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 (39)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (10)
  2. 2000Até2004  (32)
  3. 2005Até2008  (13)
  4. 2009Até2013  (20)
  5. Após 2013  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.