Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Provenance in databases: why, how, and whereCheney, James ; Chiticariu, Laura ; Tan, Wang-ChiewFoundations and trends in databases, 2009, Vol.1 (4), p.379-474 [Periódico revisado por pares]Hanover, Mass: Now PublishersTexto completo disponível |
|
2 |
Material Type: Livro
|
Algorithmic Aspects of Parallel Data ProcessingKoutris, Paraschos ; Salihoglu, Semih ; Suciu, DanFoundations and trends in databases, 2018, Vol.8 (4), p.239-370 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
3 |
Material Type: Livro
|
Access control for databases: concepts and systemsBertino, Elisa ; Ghinita, Gabriel ; Kamra, AshishFoundations and trends in databases, 2011, Vol.3 (1-2), p.1-148 [Periódico revisado por pares]Hanover, Mass: Now PublishersTexto completo disponível |
|
4 |
Material Type: Livro
|
Approximate string processingHadjieleftheriou, Marios ; Srivastava, DiveshFoundations and trends in databases, 2011, Vol.2 (4), p.267-402 [Periódico revisado por pares]Hanover, Mass: Now PublishersTexto completo disponível |
|
5 |
Material Type: Artigo
|
Query Processing on Probabilistic Data: A SurveyVan den Broeck, Guy ; Suciu, DanFoundations and trends in databases, 2017, Vol.7 (3-4), p.197-341 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
6 |
Material Type: Artigo
|
Synopses for massive data: samples, histograms, wavelets, sketchesCormode, GrahamFoundations and trends in databases, 2011-01, Vol.4 (1-3), p.1-294 [Periódico revisado por pares]Hanover, Mass: Now PublishersTexto completo disponível |
|
7 |
Material Type: Livro
|
Caching and materialization for web databasesLabrinidis, AlexandrosHanover, Mass: Now Publishers 2010Texto completo disponível |
|
8 |
Material Type: Artigo
|
QED at Large: A Survey of Engineering of Formally Verified SoftwareRinger, Talia ; Palmskog, Karl ; Sergey, Ilya ; Gligoric, Milos ; Tatlock, ZacharyFoundations and trends in programming languages, 2019-01, Vol.5 (2-3), p.102-281 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
9 |
Material Type: Artigo
|
Tutorial on Static Inference of Numeric Invariants by Abstract InterpretationMiné, AntoineFoundations and trends in programming languages, 2017-01, Vol.4 (3-4), p.120-372 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
10 |
Material Type: Artigo
|
Maximizing availability for task scheduling in on‐demand computing–based transaction processing system using ant colony optimizationMahato, Dharmendra Prasad ; Singh, Ravi ShankarConcurrency and computation, 2018-06, Vol.30 (11), p.n/a [Periódico revisado por pares]Hoboken: Wiley Subscription Services, IncTexto completo disponível |