skip to main content
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ACM Digital Library remover assunto: Exact Sciences And Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Trespass, nuisance, and spam: 11th century common law meets the internet
Material Type:
magazinearticle
Adicionar ao Meu Espaço

Trespass, nuisance, and spam: 11th century common law meets the internet

AALBERTS, Robert J ; POON, Percy S ; THISTLE, Paul D

Communications of the ACM, 2007-12, Vol.50 (12), p.40-45

New York, NY: Association for Computing Machinery

Texto completo disponível

2
Specifying cash-point with DisCo : The cash-point (ATM) 'problem'
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Specifying cash-point with DisCo : The cash-point (ATM) 'problem'

AALTONEN, Timo ; KELLOMÄKI, Pertti ; PITKÄNEN, Risto

Formal aspects of computing, 2000, Vol.12 (4), p.231-232 [Periódico revisado por pares]

London: Springer

Texto completo disponível

3
Quantum Money
Material Type:
magazinearticle
Adicionar ao Meu Espaço

Quantum Money

AARONSON, Scott ; FARHI, Edward ; GOSSET, David ; HASSIDIM, Avinatan ; KELNER, Jonathan ; LUTOMIRSKI, Andrew

Communications of the ACM, 2012-08, Vol.55 (8), p.84-92

New York, NY: Association for Computing Machinery

Texto completo disponível

4
Designing concurrent and distributed control systems : Software patterns
Material Type:
magazinearticle
Adicionar ao Meu Espaço

Designing concurrent and distributed control systems : Software patterns

AARSTEN, A ; BRUGALI, D ; MENGA, G

Communications of the ACM, 1996, Vol.39 (10), p.50-58

New York, NY: Association for Computing Machinery

Texto completo disponível

5
Sinfonia : A New Paradigm for Building Scalable Distributed Systems
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Sinfonia : A New Paradigm for Building Scalable Distributed Systems

AAUILERA, Marcos K ; MERCHANT, Arif ; SHAH, Mehul ; VEITCH, Alistair ; KARAMANOLIS, Christos

Operating systems review, 2007, Vol.41 (6), p.159-174

New York, NY: Association for Computing Machinery

Texto completo disponível

6
Aurora: a new model and architecture for data stream management
Material Type:
Artigo
Adicionar ao Meu Espaço

Aurora: a new model and architecture for data stream management

ABADI, Daniel J ; CARNEY, Don ; CETINTEMEL, Ugur ; CHERNIACK, Mitch ; CONVEY, Christian ; SANGDON LEE ; STONEBRAKER, Michael ; TATBUL, Nesime ; ZDONIK, Stan

The VLDB journal, 2003-08, Vol.12 (2), p.120-139

Heidelberg: Springer

Texto completo disponível

7
SW-Store : a vertically partitioned DBMS for Semantic Web data management: Best papers of VLDB 2007
Material Type:
Artigo
Adicionar ao Meu Espaço

SW-Store : a vertically partitioned DBMS for Semantic Web data management: Best papers of VLDB 2007

ABADI, Daniel J ; MARCUS, Adam ; MADDEN, Samuel R ; HOLLENBACH, Kate

The VLDB journal, 2009, Vol.18 (2), p.385-406

Heidelberg: Springer

Texto completo disponível

8
A calculus for access control in distributed systems
Material Type:
Artigo
Adicionar ao Meu Espaço

A calculus for access control in distributed systems

ABADI, M ; BURROWS, M ; LAMPSON, B ; PLOTKIN, G

ACM transactions on programming languages and systems, 1993-09, Vol.15 (4), p.706-734 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

9
On subtyping and matching
Material Type:
Artigo
Adicionar ao Meu Espaço

On subtyping and matching

ABADI, M ; CARDELLI, L

ACM transactions on programming languages and systems, 1996-07, Vol.18 (4), p.401-423 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

10
Composing specifications
Material Type:
Artigo
Adicionar ao Meu Espaço

Composing specifications

ABADI, M ; LAMPORT, L

ACM transactions on programming languages and systems, 1993, Vol.15 (1), p.73-132 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4.702)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.752)
  2. Anais de Congresso  (3.164)
  3. magazinearticle  (2.008)
  4. Book Chapters  (7)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1988  (939)
  2. 1988Até1993  (1.360)
  3. 1994Até1999  (1.621)
  4. 2000Até2006  (3.261)
  5. Após 2006  (4.785)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.