skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Architectural Views to the Representation of Dynamic Software Architectures
Architectural Views to the Representation of Dynamic Software Architectures
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Architectural Views to the Representation of Dynamic Software Architectures

Biazotto, João Paulo

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-08-25

Acesso online

2
Dynamic-SoS an approach for the simulation of systems-of-systems dynamic architectures
Dynamic-SoS an approach for the simulation of systems-of-systems dynamic architectures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic-SoS an approach for the simulation of systems-of-systems dynamic architectures

Wallace Alves Esteves Manzano Valdemar Vicente Graciano Neto; Elisa Yumi Nakagawa

The Computer Journal Oxford : Oxford University Press v. 63, n. 5, p. 709-731, 2020

Oxford 2020

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2937769 )(Acessar)

3
Heuristics-based mediation for building smart architectures at run-time
Heuristics-based mediation for building smart architectures at run-time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Heuristics-based mediation for building smart architectures at run-time

Criado, Javier ; Iribarne, Luis ; Padilla, Nicolás

Computer standards and interfaces, 2021-04, Vol.75, p.103501, Article 103501 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Enhanced graph rewriting systems for complex software domains: Dynamic software architecture, non-functional requirements, and correctness by construction
Enhanced graph rewriting systems for complex software domains: Dynamic software architecture, non-functional requirements, and correctness by construction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Enhanced graph rewriting systems for complex software domains: Dynamic software architecture, non-functional requirements, and correctness by construction

Eichler, Cédric ; Monteil, Thierry ; Stolf, Patricia ; Grieco, Luigi Alfredo ; Drira, Khalil

Software and systems modeling, 2016-07, Vol.15 (3), p.685-705 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Specifying Dynamic Software Architectures with Dynamic Description Logic
Specifying Dynamic Software Architectures with Dynamic Description Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Specifying Dynamic Software Architectures with Dynamic Description Logic

Zhao, Zhikun ; Li, Wei

Journal of software, 2012-01, Vol.7 (1)

Texto completo disponível

Citações Citado por
6
A Logic for the Statistical Model Checking of Dynamic Software Architectures
A Logic for the Statistical Model Checking of Dynamic Software Architectures
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Logic for the Statistical Model Checking of Dynamic Software Architectures

Quilbeuf, Jean ; Cavalcante, Everton ; Traonouez, Louis-Marie ; Oquendo, Flavio ; Batista, Thais ; Legay, Axel Margaria, Tiziana ; Steffen, Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.806-820 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Renewable Energy Decision Support Systems: The Challenge of Data Integration
Renewable Energy Decision Support Systems: The Challenge of Data Integration
Material Type:
Artigo 		Adicionar ao Meu Espaço

Renewable Energy Decision Support Systems: The Challenge of Data Integration

STĂNESCU, Ioana Andreea ; ȘTEFAN, Veronica ; NEAGU, Gabriela ; CÎRNU, Carmen Elena

Studies in informatics and control, 2015, Vol.24 (2) [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Statistical Model Checking of Dynamic Software Architectures
Statistical Model Checking of Dynamic Software Architectures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Statistical Model Checking of Dynamic Software Architectures

Cavalcante, Everton ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Oquendo, Flavio ; Batista, Thais ; Legay, Axel Tekinerdogan, Bedir ; Babar, Ali ; Zdun, Uwe

Software Architecture, p.185-200 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Description and Verification of Dynamic Software Architectures for Distributed Systems
Description and Verification of Dynamic Software Architectures for Distributed Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Description and Verification of Dynamic Software Architectures for Distributed Systems

Xu, Hongzhen ; Zeng, Guosun ; Chen, Bo

Journal of software, 2010-07, Vol.5 (7), p.721-721

Texto completo disponível

Citações Citado por
10
Automated adaptations to dynamic software architectures by using autonomous agents
Automated adaptations to dynamic software architectures by using autonomous agents
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated adaptations to dynamic software architectures by using autonomous agents

Jiao, Wenpin ; Mei, Hong

Engineering applications of artificial intelligence, 2004-10, Vol.17 (7), p.749-770 [Periódico revisado por pares]

Elsevier Ltd

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (3.618)
  2. Anais de Congresso  (2.198)
  3. Reports  (194)
  4. magazinearticle  (142)
  5. Book Chapters  (73)
  6. Livros  (41)
  7. Videos  (3)
  8. Dissertações  (3)
  9. Resenhas  (2)
  10. Newsletter Articles  (1)
  11. Recursos Textuais  (1)
  12. Produções Acadêmicas  (1)
  13. Imagens  (1)
  14. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1975  (56)
  2. 1975Até1986  (130)
  3. 1987Até1998  (635)
  4. 1999Até2011  (2.719)
  5. Após 2011  (2.805)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.270)
  2. Japonês  (626)
  3. Português  (8)
  4. Espanhol  (4)
  5. Francês  (3)
  6. Chinês  (3)
  7. Russo  (1)
  8. Árabe  (1)
  9. Catalão  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.