skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover data de publicação: 1989Até1999 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A framework for classifying and comparing architecture description languages
A framework for classifying and comparing architecture description languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A framework for classifying and comparing architecture description languages

Medvidovic, Nenad ; Taylor, Richard N. Schauer, Helmut ; Jazayeri, Mehdi

Software Engineering — ESEC/FSE'97, 2005, p.60-76 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Symbolic Model Checking without BDDs
Symbolic Model Checking without BDDs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Symbolic Model Checking without BDDs

Biere, Armin ; Cimatti, Alessandro ; Clarke, Edmund ; Zhu, Yunshan Cleaveland, W. Rance

Lecture notes in computer science, 1999, p.193-207 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Resistance Against Differential Power Analysis For Elliptic Curve Cryptosystems
Resistance Against Differential Power Analysis For Elliptic Curve Cryptosystems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Resistance Against Differential Power Analysis For Elliptic Curve Cryptosystems

Coron, Jean-Sébastien Koç, Çetin K. ; Paar, Christof

Cryptographic Hardware and Embedded Systems, 1999, p.292-302 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Construction of abstract state graphs with PVS
Construction of abstract state graphs with PVS
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Construction of abstract state graphs with PVS

Graf, Susanne ; Saidi, Hassen Grumberg, Orna

Computer Aided Verification, 1997, p.72-83 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Guarantees for autonomy in cognitive agent architecture
Guarantees for autonomy in cognitive agent architecture
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Guarantees for autonomy in cognitive agent architecture

Castelfranchi, Cristiano Wooldridge, Michael J. ; Jennings, Nicholas R.

Intelligent Agents, 2005, p.56-70 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Agent theories, architectures, and languages: A survey
Agent theories, architectures, and languages: A survey
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Agent theories, architectures, and languages: A survey

Wooldridge, Michael ; Jennings, Nicholas R. Wooldridge, Michael J. ; Jennings, Nicholas R.

Intelligent Agents, 1995, p.1-39 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Fast Multiplication on Elliptic Curves Over GF(2m) without precomputation
Fast Multiplication on Elliptic Curves Over GF(2m) without precomputation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fast Multiplication on Elliptic Curves Over GF(2m) without precomputation

López, Julio ; Dahab, Ricardo Koç, Çetin K. ; Paar, Christof

Cryptographic Hardware and Embedded Systems, 1999, p.316-327 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Modeling reactive behaviour in vertically layered agent architectures
Modeling reactive behaviour in vertically layered agent architectures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modeling reactive behaviour in vertically layered agent architectures

Müller, Jörg P. ; Pischel, Markus ; Thiel, Michael Wooldridge, Michael J. ; Jennings, Nicholas R.

Intelligent Agents, 2005, p.261-276 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
DES and Differential Power Analysis The “Duplication” Method
DES and Differential Power Analysis The “Duplication” Method
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

DES and Differential Power Analysis The “Duplication” Method

Goubin, Louis ; Patarin, Jacques Koç, Çetin K. ; Paar, Christof

Cryptographic Hardware and Embedded Systems, 1999, p.158-172 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
MOCHA: Modularity in model checking
MOCHA: Modularity in model checking
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

MOCHA: Modularity in model checking

Alur, R. ; Henzinger, T. A. ; Mang, F. Y. C. ; Qadeer, S. ; Rajamani, S. K. ; Tasiran, S. Vardi, Moshe Y. ; Hu, Alan J.

Computer Aided Verification, 1998, p.521-525 [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 (625)

Data de Publicação 

De até
Refinar
  1. Antes de1991  (85)
  2. 1991Até1993  (302)
  3. 1994Até1996  (376)
  4. 1997Até2000  (853)
  5. Após 2000  (129)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.372)
  2. Francês  (197)
  3. Espanhol  (20)
  4. Japonês  (16)
  5. Português  (6)
  6. Russo  (1)
  7. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.