skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems

Talcott, Carolyn ; Arbab, Farhad ; Yadav, Maneesh

Software, Services, and Systems, p.273-290 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Proper Protocol
Proper Protocol
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Proper Protocol

Arbab, Farhad

Theory and Practice of Formal Methods, p.65-87 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
The IWIM model for coordination of concurrent activities
The IWIM model for coordination of concurrent activities
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The IWIM model for coordination of concurrent activities

Arbab, Farhad

Coordination Languages and Models, 2005, p.34-56 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Abstract Behavior Types: A Foundation Model for Components and Their Composition

Arbab, Farhad

Formal Methods for Components and Objects, 2003, p.33-70 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Toward a Formal Foundation for Time Travel in Stories and Games
Toward a Formal Foundation for Time Travel in Stories and Games
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Toward a Formal Foundation for Time Travel in Stories and Games

Helvensteijn, Michiel ; Arbab, Farhad

Theory and Practice of Formal Methods, p.261-276 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Preference and Similarity-Based Behavioral Discovery of Services
Preference and Similarity-Based Behavioral Discovery of Services
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Preference and Similarity-Based Behavioral Discovery of Services

Arbab, Farhad ; Santini, Francesco

Web Services and Formal Methods, p.118-133 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Will the Real Service Oriented Computing Please Stand Up?
Will the Real Service Oriented Computing Please Stand Up?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Will the Real Service Oriented Computing Please Stand Up?

Arbab, Farhad

Formal Aspects of Component Software, p.277-285 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Coordination Models and Languages
Coordination Models and Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Coordination Models and Languages

Papadopoulos, George A. ; Arbab, Farhad

Advances In Computers, 1998, Vol.46, p.329-400 [Periódico revisado por pares]

United States: Elsevier Science & Technology

Texto completo disponível

Citações Citado por
9
On the Complexity of Adding Convergence
On the Complexity of Adding Convergence
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the Complexity of Adding Convergence

Arbab, Farhad ; Sirjani, Marjan

Fundamentals of Software Engineering, 2013, Vol.8161, p.17-33 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Validating SCTP Simultaneous Open Procedure
Validating SCTP Simultaneous Open Procedure
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Validating SCTP Simultaneous Open Procedure

Arbab, Farhad ; Sirjani, Marjan

Fundamentals of Software Engineering, 2013, Vol.8161, p.233-249 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

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

Data de Publicação 

De até
Refinar
  1. Antes de1996  (3)
  2. 1996Até1999  (4)
  3. 2000Até2003  (39)
  4. 2004Até2013  (80)
  5. Após 2013  (10)
  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.