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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'Informatique de Nantes Atlantique
labStructName_s : Department of Computer Science [Auckland]
Image document

Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies

Joachim Biskup , Sven Hartmann , Sebastian Link , Jan-Hendrik Lochner , Torsten Schlotmann
26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.56-73, ⟨10.1007/978-3-642-31540-4_5⟩
Conference papers hal-01534773v1
Image document

Synchronous Interface Theories and Time Triggered Scheduling

Benot Delahaye , Uli Fahrenberg , Axel Legay , Dejan Ničković
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.203-218, ⟨10.1007/978-3-642-30793-5_13⟩
Conference papers hal-01087992v1
Image document

Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing

Frederico Alvares de Oliveira Jr. , Remi Sharrock , Thomas Ledoux
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
Conference papers hal-00682914v1