skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Lista de Todas as Versões 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 Hennicker, Rolf ; De Nicola, Rocco

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 Bonsangue, Marcello ; Johnsen, Einar Broch ; Ábrahám, Erika

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 Ciancarini, Paolo ; Hankin, Chris

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 de Roever, Willem-Paul ; Bonsangue, Marcello M. ; Graf, Susanne ; de Boer, Frank S.

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 Bonsangue, Marcello ; Johnsen, Einar Broch ; Ábrahám, Erika

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 Lohmann, Niels ; ter Beek, Maurice H.

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 Barbosa, Luís Soares ; Lumpe, Markus

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
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems

Talcott, Carolyn ; Nigam, Vivek ; Arbab, Farhad ; Kappé, Tobias Hillston, Jane ; De Nicola, Rocco ; Bernardo, Marco

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016, Vol.9700, p.1-35 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Scheduling Games for Concurrent Systems
Scheduling Games for Concurrent Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Scheduling Games for Concurrent Systems

Lluch Lafuente, Alberto ; Proença, José Lluch Lafuente, Alberto ; Proença, José

Coordination Models and Languages, 2016, Vol.9686, p.84-100 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

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

Data de Publicação 

De até
Refinar
  1. Antes de1996  (3)
  2. 1996Até1999  (4)
  3. 2000Até2004  (11)
  4. 2005Até2013  (67)
  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.