skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Implementing QVT-R Bidirectional Model Transformations Using Alloy
Implementing QVT-R Bidirectional Model Transformations Using Alloy
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Implementing QVT-R Bidirectional Model Transformations Using Alloy

Macedo, Nuno ; Cunha, Alcino

Fundamental Approaches to Software Engineering, p.297-311 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Multi-hop Localization Method Based on Tribes Algorithm
Multi-hop Localization Method Based on Tribes Algorithm
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Multi-hop Localization Method Based on Tribes Algorithm

de Sá, Alan Oliveira ; Nedjah, Nadia ; de Macedo Mourelle, Luiza ; dos Santos Coelho, Leandro

Computational Science and Its Applications - ICCSA 2016, 2016, Vol.9790, p.156-170 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
Efficient Spacial Clustering in Swarm Robotics
Efficient Spacial Clustering in Swarm Robotics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Efficient Spacial Clustering in Swarm Robotics

Cruz, Nicolás Bulla ; Nedjah, Nadia ; de Macedo Mourelle, Luiza

Computational Science and Its Applications -- ICCSA 2015, p.14-27 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
A Model-Based Heuristic for the Combined Cutting Stock and Scheduling Problem
A Model-Based Heuristic for the Combined Cutting Stock and Scheduling Problem
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Model-Based Heuristic for the Combined Cutting Stock and Scheduling Problem

Braga, Nuno ; Alves, Cláudio ; Macedo, Rita ; de Carvalho, José Valério

Computational Science and Its Applications -- ICCSA 2015, p.490-505 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Mining Malware Specifications through Static Reachability Analysis
Mining Malware Specifications through Static Reachability Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Mining Malware Specifications through Static Reachability Analysis

Macedo, Hugo Daniel ; Touili, Tayssir

Computer Security – ESORICS 2013, p.517-535 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Towards a Formal Validation of ETL Patterns Behaviour
Towards a Formal Validation of ETL Patterns Behaviour
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards a Formal Validation of ETL Patterns Behaviour

Oliveira, Bruno ; Belo, Orlando ; Macedo, Nuno

Model and Data Engineering, 2016, Vol.9893, p.156-165 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
Target Oriented Relational Model Finding
Target Oriented Relational Model Finding
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Target Oriented Relational Model Finding

Cunha, Alcino ; Macedo, Nuno ; Guimarães, Tiago

Fundamental Approaches to Software Engineering, p.17-31 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Screening a Case Base for Stroke Disease Detection
Screening a Case Base for Stroke Disease Detection
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Screening a Case Base for Stroke Disease Detection

Neves, José ; Gonçalves, Nuno ; Oliveira, Ruben ; Gomes, Sabino ; Neves, João ; Macedo, Joaquim ; Abelha, António ; Analide, César ; Machado, José ; Filipe Santos, Manuel ; Vicente, Henrique

Hybrid Artificial Intelligent Systems, p.3-13 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Exploring Scenario Exploration
Exploring Scenario Exploration
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Exploring Scenario Exploration

Macedo, Nuno ; Cunha, Alcino ; Guimarães, Tiago

Fundamental Approaches to Software Engineering, p.301-315 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
A Method to Evaluate Disabled User Interaction: A Case Study with Down Syndrome Children
A Method to Evaluate Disabled User Interaction: A Case Study with Down Syndrome Children
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Method to Evaluate Disabled User Interaction: A Case Study with Down Syndrome Children

Macedo, Isys ; Trevisan, Daniela G.

Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion, p.50-58 [Periódico revisado por pares]

Berlin, Heidelberg: 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 (40)

Data de Publicação 

De até
Refinar
  1. Antes de1996  (2)
  2. 1996Até1999  (2)
  3. 2000Até2002  (2)
  4. 2003Até2005  (5)
  5. Após 2005  (32)
  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.