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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Alcatel-Lucent Bell Labs
labStructName_s : National Institute of Technology
Image document

Loop Freedom in AODVv2

Kedar S. Namjoshi , Richard J. Trefler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers hal-01767329v1
Image document

Interactive Check System for Facilitating Self-awareness of Dorm Students in Upper Secondary Education

Shigenori Akamatsu , Masanobu Yoshida , Hironobu Satoh , Takumi Yamaguchi
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.569-572, ⟨10.1007/978-3-319-22723-8_63⟩
Conference papers hal-01610799v1