Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: magazinearticle
|
Trespass, nuisance, and spam: 11th century common law meets the internetAALBERTS, Robert J ; POON, Percy S ; THISTLE, Paul DCommunications of the ACM, 2007-12, Vol.50 (12), p.40-45New York, NY: Association for Computing MachineryTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Specifying cash-point with DisCo : The cash-point (ATM) 'problem'AALTONEN, Timo ; KELLOMÄKI, Pertti ; PITKÄNEN, RistoFormal aspects of computing, 2000, Vol.12 (4), p.231-232 [Periódico revisado por pares]London: SpringerTexto completo disponível |
|
3 |
Material Type: magazinearticle
|
Quantum MoneyAARONSON, Scott ; FARHI, Edward ; GOSSET, David ; HASSIDIM, Avinatan ; KELNER, Jonathan ; LUTOMIRSKI, AndrewCommunications of the ACM, 2012-08, Vol.55 (8), p.84-92New York, NY: Association for Computing MachineryTexto completo disponível |
|
4 |
Material Type: magazinearticle
|
Designing concurrent and distributed control systems : Software patternsAARSTEN, A ; BRUGALI, D ; MENGA, GCommunications of the ACM, 1996, Vol.39 (10), p.50-58New York, NY: Association for Computing MachineryTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Sinfonia : A New Paradigm for Building Scalable Distributed SystemsAAUILERA, Marcos K ; MERCHANT, Arif ; SHAH, Mehul ; VEITCH, Alistair ; KARAMANOLIS, ChristosOperating systems review, 2007, Vol.41 (6), p.159-174New York, NY: Association for Computing MachineryTexto completo disponível |
|
6 |
Material Type: Artigo
|
Aurora: a new model and architecture for data stream managementABADI, Daniel J ; CARNEY, Don ; CETINTEMEL, Ugur ; CHERNIACK, Mitch ; CONVEY, Christian ; SANGDON LEE ; STONEBRAKER, Michael ; TATBUL, Nesime ; ZDONIK, StanThe VLDB journal, 2003-08, Vol.12 (2), p.120-139Heidelberg: SpringerTexto completo disponível |
|
7 |
Material Type: Artigo
|
SW-Store : a vertically partitioned DBMS for Semantic Web data management: Best papers of VLDB 2007ABADI, Daniel J ; MARCUS, Adam ; MADDEN, Samuel R ; HOLLENBACH, KateThe VLDB journal, 2009, Vol.18 (2), p.385-406Heidelberg: SpringerTexto completo disponível |
|
8 |
Material Type: Artigo
|
A calculus for access control in distributed systemsABADI, M ; BURROWS, M ; LAMPSON, B ; PLOTKIN, GACM 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 MachineryTexto completo disponível |
|
9 |
Material Type: Artigo
|
On subtyping and matchingABADI, M ; CARDELLI, LACM 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 MachineryTexto completo disponível |
|
10 |
Material Type: Artigo
|
Composing specificationsABADI, M ; LAMPORT, LACM transactions on programming languages and systems, 1993, Vol.15 (1), p.73-132 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |