Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Department of Computer Science [Oxford]
labStructName_s : Department of Informatics [Zurich]
Image document

From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

Samson Abramsky , Jonathan Zvesper
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.1-19, ⟨10.1007/978-3-642-32784-1_1⟩
Conference papers hal-01539890v1
Image document

Cooperative Database Caching within Cloud Environments

Andrei Vancea , Guilherme Sperb Machado , Laurent D’orazio , Burkhard Stiller
6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.14-25, ⟨10.1007/978-3-642-30633-4_3⟩
Conference papers hal-01529797v1