Search - IFIP - Lecture Notes in Computer Science

8 results

Deposit type : Fulltext

labStructName_s : Inria Nancy - Grand Est

labStructName_s : Laboratoire Traitement et Communication de l'Information

	For these 8 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

		One Fitts’ Law, Two Metrics Julien Gori , Olivier Rioul , Yves Guiard , Michel Beaudouin-Lafon 16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.525-533, ⟨10.1007/978-3-319-67687-6_36⟩ Conference papers hal-01717202v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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
		Information-Theoretic Analysis of Human Performance for Command Selection Wanyu Liu , Olivier Rioul , Michel Beaudouin-Lafon , Yves Guiard 16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.515-524, ⟨10.1007/978-3-319-67687-6_35⟩ Conference papers hal-01643924v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Formal Methods for Railway Disasters Prevention Lilia Belabed , Tullio Tanzi , Sophie Coudert 2nd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2017, Sofia, Bulgaria. pp.161-176, ⟨10.1007/978-3-030-18293-9_14⟩ Conference papers hal-02280313v1	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
		Grab 'n' Drop: User Configurable Toolglasses James R Eagan 16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.315-334, ⟨10.1007/978-3-319-67687-6_21⟩ Conference papers hal-01693001v1	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