IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
81	Robustness against Consistency Models with Atomic Visibility Giovanni Bernardi and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-06-20 09:28:23 Transaction processing Data management Databases Concurrency control Schedule Serializability Consistency model Isolation Causal consistency Snapshot isolation Database transaction
82	Microsoft Word - 14.8AT1POS_Senior Assistant Researcher Add to Reading List Source URL: www.stage-ste.eu Language: English - Date: 2014-07-24 06:48:29 Science and technology in Spain Energy conversion IMDEA Solar power Alternative energy Solar energy Concentrated solar power Renewable energy Energy technology IMDEA Networks Institute IMDEA Nanoscience Institute
83	Microsoft PowerPoint - IMDEA_Energy_Presentation Add to Reading List Source URL: www.stage-ste.eu Language: English - Date: 2015-01-28 05:47:59 Energy conversion Science and technology in Spain IMDEA Industrial ecology Energy economics Emergy Life-cycle assessment Sustainable energy Energy technology Exergy Solar power
84	WORKSHOP THERMAL STORAGE FOR SOLAR THERMAL CONCENTRATING PLANTS Place: IMDEA Energy Institute Add to Reading List Source URL: www.stage-ste.eu Language: English - Date: 2016-07-08 06:44:16 Renewable energy Energy conversion Solar power in Spain Science and technology in Spain Plataforma Solar de Almera Thermal energy storage Concentrated solar power IMDEA Energy storage Energy technology
85	Analysing Snapshot Isolation Andrea Cerone Alexey Gotsman IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-06-17 10:21:51 Transaction processing Data management Concurrency control Databases Commitment ordering Schedule Serializability ACID Snapshot isolation Multiversion concurrency control Isolation Dependency graph
86	Adversary Gain vs. Defender Loss in Quantified Information Flow Piotr Mardziel,† Mário S. Alvim,‡ and Michael Hicks,† † University of Maryland, College Park ‡ Universidade Federal de Minas Gerais Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Analysis of algorithms Online algorithms Adversary model
87	Substantive Change Report by Fundación para el Conocimiento madrimasd (fmid) Decision of: 20 May 2016 Add to Reading List Source URL: www.eqar.eu Language: English - Date: 2016-05-24 06:42:26 Economy Quality assurance IMDEA Science and technology in Spain Madrid Ex-ante European Association for Quality Assurance in Higher Education
88	On Well-founded Security Protocols (Extended Abstract) Sibylle Fr¨oschle OFFIS & University of Oldenburg, Germany Email: Consider the decidability problem that stands behind Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:52 Cryptographic protocol DolevYao model Communications protocol Decidability Philosophy Abstraction Computing
89	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
90	Actual Causes of Security Violations (Extended Abstract) Anupam Datta Dilsun Kaynar Divya Sharma Arunesh Sinha Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Carnegie Mellon University Add to Reading List Source URL: software.imdea.org Language: English Causality Conditionals Philosophy of science Carnegie Mellon University Email Communications protocol Vulnerability

UPDATE