Search - IFIP - Lecture Notes in Computer Science

6 results

Deposit type : Fulltext

labStructName_s : Laboratoire Lorrain de Recherche en Informatique et ses Applications

	For these 6 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Towards a Software-Defined Security Framework for Supporting Distributed Cloud Maxime Compastié , Rémi Badonnel , Olivier Festor , Ruan He , Mohamed Kassi-Lahlou AIMS 2017 - 11th IFIP International Conference on Autonomous Infrastructure, Management and Security, Jul 2017, Zurich, Switzerland. pp.47-61, ⟨10.1007/978-3-319-60774-0_4⟩ Conference papers hal-01806058v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Applying a Dependency Mechanism for Voting Protocol Models Using Event-B Paul J. Gibson , Souad Kherroubi , Dominique Méry 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩ Conference papers hal-01658423v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Canonical Form of Gray Codes in N-cubes Sylvain Contassot-Vivier , Jean-François Couchot 23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.68-80, ⟨10.1007/978-3-319-58631-1_6⟩ Conference papers hal-01656349v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Diploid Cellular Automata: First Experiments on the Random Mixtures of Two Elementary Rules Nazim A. Fatès AUTOMATA 2017 - 23th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2017, Milan, Italy. pp.97-108, ⟨10.1007/978-3-319-58631-1_8⟩ Conference papers hal-01656351v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Formal Approach for the Verification of AWS IAM Access Control Policies Ehtesham Zahoor , Zubaria Asma , Olivier Perrin 6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.59-74, ⟨10.1007/978-3-319-67262-5_5⟩ Conference papers hal-01677620v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Human activity recognition using recurrent neural networks Deepika Singh , Erinc Merdivan , Ismini Psychoula , Johannes Kropf , Sten Hanke , et al. 1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.267-274, ⟨10.1007/978-3-319-66808-6_18⟩ Conference papers hal-01629704v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More