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

Filter your results

731 results
Deposit type : Fulltext
Page :
sorted by
Image document

Descriptional Complexity and Operations – Two Non-classical Cases

 Jürgen Dassow
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.33-44, ⟨10.1007/978-3-319-60252-3_3⟩
Conference papers hal-01657004v1
Image document

2-State 2-Symbol Turing Machines with Periodic Support Produce Regular Sets

 Turlough Neary
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.274-286, ⟨10.1007/978-3-319-60252-3_22⟩
Conference papers hal-01657010v1
Image document

A Signature Scheme Based on Implicit and Explicit Certificates Against k-Traitors Collusion Attack

 Tomasz Hyla , Jerzy Pejaś
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.638-651, ⟨10.1007/978-3-319-59105-6_55⟩
Conference papers hal-01656248v1
Image document

Time-Dependent SIR Analysis in Shopping Malls Using Fractal-Based Mobility Models

 Yuri Orlov , Elisabeth Kirina-Lilinskaya , Andrey Samuylov , Aleksandr Ometov , Dmitri Moltchanov , et al.
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.16-25, ⟨10.1007/978-3-319-61382-6_2⟩
Conference papers hal-01675412v1
Image document

A Confucian Look at Internet Censorship in China

 Yubo Kou , Bryan Semaan , Bonnie Nardi
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.377-398, ⟨10.1007/978-3-319-67744-6_25⟩
Conference papers hal-01676171v1
Image document

Gaussian Mixture Models for Classification and Hypothesis Tests Under Differential Privacy

 Xiaosu Tong , Bowei Xi , Murat Kantarcioglu , Ali Inan
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.123-141, ⟨10.1007/978-3-319-61176-1_7⟩
Conference papers hal-01684357v1
Image document

Time to Refuel the Conceptual Discussion on Public e-Services – Revisiting How e-Services Are Manifested in Practice

 Ida Lindgren , Ulf Melin
16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.92-101, ⟨10.1007/978-3-319-64677-0_8⟩
Conference papers hal-01702972v1
Image document

Evaluation of Geocast Routing Trees on Random and Actual Networks

 Bernd Meijerink , Mitra Baratchi , Geert Heijenk
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.127-142, ⟨10.1007/978-3-319-61382-6_11⟩
Conference papers hal-01675438v1
Image document

Design and Validation of Cloud Storage Systems Using Formal Methods

 Peter Csaba Ölveczky
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.3-8, ⟨10.1007/978-3-319-68953-1_1⟩
Conference papers hal-01760637v1
Image document

Barriers to Adopting E-commerce in Chinese Rural Areas: A Case Study

 Hong Guo , Shang Gao
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.71-82, ⟨10.1007/978-3-319-68557-1_8⟩
Conference papers hal-01768533v1
Image document

Low-Level Exploitation Mitigation by Diverse Microservices

 Christian Otterstad , Tetiana Yarygina
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.49-56, ⟨10.1007/978-3-319-67262-5_4⟩
Conference papers hal-01677618v1
Image document

Hoverboard: A Leap to the Future of Locomotion in VR!?

 Jan Smeddinck , Dmitry Alexandrovsky , Dirk Wenig , Michel Zimmer , Waldemar Wegele , et al.
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.218-225, ⟨10.1007/978-3-319-66715-7_24⟩
Conference papers hal-01771270v1
Image document

Opportunities of Big Data Tools in Smart Energy Systems

 Peter Birkner
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2017, Essen, Germany. pp.161-177, ⟨10.1007/978-3-319-66553-5_12⟩
Conference papers hal-01691200v1
Image document

A Short-Term Forecast Approach of Public Buildings’ Power Demands upon Multi-source Data

 Shubing Shan , Buyang Cao
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.174-188, ⟨10.1007/978-3-319-66808-6_12⟩
Conference papers hal-01677140v1
Image document

State Complexity of Unary SV-XNFA with Different Acceptance Conditions

 Laurette Marais , Lynette Van Zijl
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.250-261, ⟨10.1007/978-3-319-60252-3_20⟩
Conference papers hal-01657002v1
Image document

SDAC: Porting Scientific Data to Spark RDDs

 Tian Yang , Kenjiro Taura , Liu Chao
14th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2017, Hefei, China. pp.127-130, ⟨10.1007/978-3-319-68210-5_13⟩
Conference papers hal-01705439v1
Image document

Online Self-disclosure: From Users’ Regrets to Instructional Awareness

 N. E. Díaz Ferreyra , Rene Meis , Maritta Heisel
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.83-102, ⟨10.1007/978-3-319-66808-6_7⟩
Conference papers hal-01677149v1
Image document

MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks

 Robert Müller , Marcel Waldvogel , Corinna Schmitt
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.131-136, ⟨10.1007/978-3-319-60774-0_10⟩
Conference papers hal-01806055v1
Image document

Hunting SIP Authentication Attacks Efficiently

 Tomáš Jansky , Tomáš Čejka , Václav Bartoš
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.125-130, ⟨10.1007/978-3-319-60774-0_9⟩
Conference papers hal-01806064v1
Image document

Symposium on Asian HCI Research

 Yoshifumi Kitamura , Zhengjie Liu , Eunice Sari , Anshuman Sharma
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.538-542
Conference papers hal-01680789v1
Image document

System Problem Detection by Mining Process Model from Console Logs

 Jian Li , Jian Cao
14th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2017, Hefei, China. pp.140-144, ⟨10.1007/978-3-319-68210-5_16⟩
Conference papers hal-01705438v1
Image document

Human-in-the-Loop Simulation of Cloud Services

 Nikolaos Bezirgiannis , Frank De Boer , Stijn De Gouw
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.143-158, ⟨10.1007/978-3-319-67262-5_11⟩
Conference papers hal-01677612v1
Image document

Open and Secure: Amending the Security of the BSI Smart Metering Infrastructure to Smart Home Applications via the Smart Meter Gateway

 Christian Freudenmann , Dominik Henneke , Christian Kudera , Markus Kammerstetter , Lukasz Wisniewski , et al.
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2017, Essen, Germany. pp.136-146, ⟨10.1007/978-3-319-66553-5_10⟩
Conference papers hal-01691193v1
Image document

Localization based Anti-Void Clustering Approach (LAVCA) for Energy Efficient Routing in Wireless Sensor Network

 Ayan Kumar Das , Rituparna Chaki
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.290-302, ⟨10.1007/978-3-319-59105-6_25⟩
Conference papers hal-01656241v1
Image document

Firewall Policies Provisioning Through SDN in the Cloud

 Nora Cuppens , Salaheddine Zerkane , Yanhuang Li , David Espes , Philippe Le Parc , et al.
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.293-310, ⟨10.1007/978-3-319-61176-1_16⟩
Conference papers hal-01684362v1
Image document

Evacuation Planning for Disaster Management by Using the Relaxation Based Algorithm and Route Choice Model

 Dedy Hartama , Herman Mawengkang , Muhammad Zarlis , Rahmat Widia Sembiring , Benny Benyamin Nasution , et al.
2nd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2017, Sofia, Bulgaria. pp.136-144, ⟨10.1007/978-3-030-18293-9_12⟩
Conference papers hal-02280351v1
Image document

Perswedo: Introducing Persuasive Principles into the Creative Design Process Through a Design Card-Set

 Xipei Ren , Yuan Lu , Harri Oinas-Kukkonen , Aarnout Brombacher
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.453-462, ⟨10.1007/978-3-319-67687-6_31⟩
Conference papers hal-01717205v1
Image document

Effects of Uncertainty and Cognitive Load on User Trust in Predictive Decision Making

 Jianlong Zhou , Syed Z. Arshad , Simon Luo , Fang Chen
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.23-39, ⟨10.1007/978-3-319-68059-0_2⟩
Conference papers hal-01679786v1
Image document

Coping with Accessibility Challenges for Security - A User Study with Blind Smartphone Users

 Sylvan Lobo , Ulemba Hirom , V. S. Shyama , Mridul Basumatori , Pankaj Doke
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.3-22, ⟨10.1007/978-3-319-68059-0_1⟩
Conference papers hal-01679788v1
Image document

Designing Valuable Products with Design Sprint

 Eunice Sari , Adi Tedjasaputra
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.391-394, ⟨10.1007/978-3-319-68059-0_37⟩
Conference papers hal-01679799v1
Page :