skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer (CrossRef) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

On improving resistance to Denial of Service and key provisioning scalability of the DTLS handshake

Tiloca, Marco ; Gehrmann, Christian ; Seitz, Ludwig

International Journal of Information Security, 2017-04-01, Vol.16(2), pp.173-193 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Parameterized Modal Satisfiability

Achilleos, Antonis ; Lampis, Michail ; Mitsou, Valia

Algorithmica, 2012, Vol.64(1), pp.38-55 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Broadcast psi-calculi with an application to wireless protocols

Borgström, Johannes ; Huang, Shuqin ; Johansson, Magnus ; Raabjerg, Palle ; Victor, Björn ; Åman Pohjola, Johannes ; Parrow, Joachim

Software and Systems Modeling, 2015, Vol.14(1), pp.201-216 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Regimes in baseball players' career data

Bendtsen, Marcus

Data mining and knowledge discovery, 2017, Vol.31(6), pp.1580-1621 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

A case study on software risk analysis and planning in medical device development

Lindholm, Christin ; Holmén Notander, Jesper ; Höst, Martin

Software Quality Journal, 2014, Vol.22(3), pp.469-497 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

An approximation framework for solvers and decision procedures

Zeljic, Aleksandar ; Wintersteiger, Christoph M. ; Rümmer, Philipp

Journal of automated reasoning, 2017, Vol.58(1), pp.127-147 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

A short review of symbol grounding in robotic and intelligent systems

Coradeschi, Silvia ; Loutfi, Amy ; Wrede, Britta

Künstliche Intelligenz, 2013, Vol.27(2), pp.129-136 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Private announcements on topological spaces

Van Ditmarsch, Hans ; Knight, Sophia ; Özgün, Aybüke

Studia Logica, 2018, Vol.106(3), pp.481-513 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Iterative Delta Debugging

Artho, Cyrille

International Journal on Software Tools for Technology Transfer (STTT), 2011, Vol.13(3), pp.223-246 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Process-variation and Temperature Aware SoC Test Scheduling Technique

Aghaee Ghaleshahi, Nima ; Peng, Zebo ; Eles, Petru

Journal of electronic testing, 2013, Vol.29(4), pp.499-520 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
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 (250)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (253)
  2. Anais de Congresso  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1998  (5)
  2. 1998Até2004  (8)
  3. 2005Até2008  (12)
  4. 2009Até2013  (44)
  5. Após 2013  (168)
  6. Mais opções open sub menu

Idioma 

  1. Chinês  (5)
  2. Português  (1)
  3. Francês  (1)
  4. Sueco  (1)
  5. Espanhol  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.