skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
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
A Contract-Oriented Middleware
A Contract-Oriented Middleware
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Contract-Oriented Middleware

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.86-104 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
2
An Operational Semantics of BPMN Collaboration
An Operational Semantics of BPMN Collaboration
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Operational Semantics of BPMN Collaboration

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.161-180 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
Floating Time Transition System: More Efficient Analysis of Timed Actors
Floating Time Transition System: More Efficient Analysis of Timed Actors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Floating Time Transition System: More Efficient Analysis of Timed Actors

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.237-255 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
4
Configuration Logics: Modelling Architecture Styles
Configuration Logics: Modelling Architecture Styles
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Configuration Logics: Modelling Architecture Styles

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.256-274 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
5
OnPlan: A Framework for Simulation-Based Online Planning
OnPlan: A Framework for Simulation-Based Online Planning
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

OnPlan: A Framework for Simulation-Based Online Planning

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.1-30 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
An Aspect-Oriented Domain-Specific Language for Modeling Multi-Agent Systems in Social Simulations
An Aspect-Oriented Domain-Specific Language for Modeling Multi-Agent Systems in Social Simulations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Aspect-Oriented Domain-Specific Language for Modeling Multi-Agent Systems in Social Simulations

de S. Braga, Diego ; Alves, Felipe Omena M. ; de L. Neto, Fernando Buarque ; de S. Menezes, Luis Carlos

Intelligent Data Engineering and Automated Learning - IDEAL 2012, p.578-585 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.141-160 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.66-85 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
Combinatory Synthesis of Classes Using Feature Grammars
Combinatory Synthesis of Classes Using Feature Grammars
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Combinatory Synthesis of Classes Using Feature Grammars

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.123-140 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
A Robust Framework for Securing Composed Web Services
A Robust Framework for Securing Composed Web Services
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Robust Framework for Securing Composed Web Services

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.105-122 [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 (18)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (2)
  2. 2000Até2005  (9)
  3. 2006Até2008  (26)
  4. 2009Até2015  (18)
  5. Após 2015  (32)
  6. Mais opções open sub menu

Idioma 

  1. Francês  (1)
  2. Alemão  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.