skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Theory & Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
A sound decision procedure for the compositionality of secrecy
A sound decision procedure for the compositionality of secrecy
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A sound decision procedure for the compositionality of secrecy

Ochoa, Martín ; Jürjens, Jan ; Warzecha, Daniel Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.97-105 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
12
An idea of an independent validation of vulnerability discovery models
An idea of an independent validation of vulnerability discovery models
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An idea of an independent validation of vulnerability discovery models

Nguyen, Viet Hung ; Massacci, Fabio Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.89-96 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
13
Optimal trust mining and computing on keyed mapreduce
Optimal trust mining and computing on keyed mapreduce
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Optimal trust mining and computing on keyed mapreduce

Zhu, Huafei Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.143-150 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
14
Computing with real numbers. I. The LFT approach to real number computation. II. A domain framework for computational geometry
Computing with real numbers. I. The LFT approach to real number computation. II. A domain framework for computational geometry
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computing with real numbers. I. The LFT approach to real number computation. II. A domain framework for computational geometry

EDALAT, Abbas ; HECKMANN, Reinhold

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

Berlin: Springer

Texto completo disponível

Citações Citado por
15
Design of adaptive security mechanisms for real-time embedded systems
Design of adaptive security mechanisms for real-time embedded systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Design of adaptive security mechanisms for real-time embedded systems

Saadatmand, Mehrdad ; Cicchetti, Antonio ; Sjödin, Mikael Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Livshits, Ben ; Scandariato, Riccardo ; Barthe, Gilles ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, Vol.7159, p.121-134 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
16
An environment to support the discovery of potential partners in a research group
An environment to support the discovery of potential partners in a research group
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An environment to support the discovery of potential partners in a research group

Alves, Tatiana P. V. ; Borges, Marcos R. S. ; Vivacqua, Adriana S.

Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013, p.344-349

IEEE

Texto completo disponível

Citações Citado por
17
Supporting component presence notifications in software development
Supporting component presence notifications in software development
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Supporting component presence notifications in software development

Palacio, Ramon R. ; Padilla, German ; Moran, Alberto L. ; Cortez, Joaquin ; Vizcaino, Aurora

Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013, p.235-240

IEEE

Texto completo disponível

Citações Citado por
18
Challenge-sensitive action selection: an application to game balancing
Challenge-sensitive action selection: an application to game balancing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Challenge-sensitive action selection: an application to game balancing

Andrade, G. ; Ramalho, G. ; Santana, H. ; Corruble, V.

IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005, p.194-200

IEEE

Texto completo disponível

Citações Citado por
19
A flexible BDI architecture supporting extensibility
A flexible BDI architecture supporting extensibility
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A flexible BDI architecture supporting extensibility

Pokahr, A. ; Braubach, L. ; Lamersdorf, W.

IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005, p.379-385

IEEE

Texto completo disponível

Citações Citado por
20
Communication and coordination patterns to support mobile collaboration
Communication and coordination patterns to support mobile collaboration
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Communication and coordination patterns to support mobile collaboration

Messeguer, R. ; Ochoa, S.F. ; Pino, J.A. ; Navarro, L. ; Neyem, A.

2008 12th International Conference on Computer Supported Cooperative Work in Design, 2008, p.565-570

IEEE

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 (15)

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

Buscando em bases de dados remotas. Favor aguardar.