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

Filter your results

687 results
Deposit type : Fulltext
publicationDateY_i : 2017
level0_domain_s : Computer Science [cs]
Page :
sorted by
Image document

An Observational Approach to Defining Linearizability on Weak Memory Models

 John Derrick , Graeme Smith
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.108-123, ⟨10.1007/978-3-319-60225-7_8⟩
Conference papers hal-01658421v1
Image document

Bisimilarity of Open Terms in Stream GSOS

 Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1
Image document

Testing TLS Using Combinatorial Methods and Execution Framework

 Dimitris E. Simos , Josip Bozic , Feng Duan , Bernhard Garn , Kristoffer Kleine , et al.
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.162-177, ⟨10.1007/978-3-319-67549-7_10⟩
Conference papers hal-01678990v1
Image document

Night Mode, Dark Thoughts: Background Color Influences the Perceived Sentiment of Chat Messages

 Diana Löffler , Lennart Giron , Jörn Hurtienne
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.184-201, ⟨10.1007/978-3-319-67684-5_12⟩
Conference papers hal-01678512v1
Image document

Reorientation Method to Suppress Simulator Sickness in Home Video Game Using HMD

 Yuki Ueda , Junichi Hoshino
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.370-374, ⟨10.1007/978-3-319-66715-7_42⟩
Conference papers hal-01771262v1
Image document

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
Image document

Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture

 Luciano Baresi , Danilo Filgueira Mendonça , Martin Garriga
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.196-210, ⟨10.1007/978-3-319-67262-5_15⟩
Conference papers hal-01677622v1
Image document

IT Consulting: A Systematic Literature Review

 Abhishek Kumar , Purva Grover , Arpan Kumar Kar , Ashis K. Pani
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.474-484, ⟨10.1007/978-3-319-68557-1_42⟩
Conference papers hal-01768524v1
Image document

Understanding Early Technology Adoption by the Emergent Older Adults in Dharavi

 Shaon Sengupta , Sayan Sarcar , Anirudha Joshi
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.504-508, ⟨10.1007/978-3-319-68059-0_61⟩
Conference papers hal-01679800v1
Image document

Fake Order Mitigation: A Profile Based Mechanism

 Ayushi Jain , Akash Sinha , Prabhat Kumar , Yashwanth Dasari
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.276-288, ⟨10.1007/978-3-319-68557-1_25⟩
Conference papers hal-01768508v1
Image document

Modelling Trust: An Empirical Assessment

 Siddharth Gulati , Sonia Sousa , David Lamas
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.40-61, ⟨10.1007/978-3-319-68059-0_3⟩
Conference papers hal-01679802v1
Image document

Digital Forensic Implications of Collusion Attacks on the Lightning Network

 Dmytro Piatkivskyi , Stefan Axelsson , Mariusz Nowostawski
13th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2017, Orlando, FL, United States. pp.133-147, ⟨10.1007/978-3-319-67208-3_8⟩
Conference papers hal-01716400v1
Image document

SVM Kernel Configuration and Optimization for the Handwritten Digit Recognition

 Monika Drewnik , Zbigniew Pasternak-Winiarski
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.87-98, ⟨10.1007/978-3-319-59105-6_8⟩
Conference papers hal-01656218v1
Image document

Subjective Usability, Mental Workload Assessments and Their Impact on Objective Human Performance

 Luca Longo
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.202-223, ⟨10.1007/978-3-319-67684-5_13⟩
Conference papers hal-01678491v1
Image document

Towards the Exploitation of Statistical Language Models for Sentiment Analysis of Twitter Posts

 Sukriti Bhattacharya , Prasun Banerjee
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.253-263, ⟨10.1007/978-3-319-59105-6_22⟩
Conference papers hal-01656232v1
Image document

The More the Merrier - Federated Learning from Local Sphere Recommendations

 Bernd Malle , Nicola Giuliani , Peter Kieseberg , Andreas Holzinger
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.367-373, ⟨10.1007/978-3-319-66808-6_24⟩
Conference papers hal-01677145v1
Image document

Identifying Evidence for Cloud Forensic Analysis

 Changwei Liu , Anoop Singhal , Duminda Wijesekera
13th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2017, Orlando, FL, United States. pp.111-130, ⟨10.1007/978-3-319-67208-3_7⟩
Conference papers hal-01716407v1
Image document

TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs

 Mahdi Houshmand , Samad Paydar
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.164-179, ⟨10.1007/978-3-319-68972-2_11⟩
Conference papers hal-01760849v1
Image document

Information Artifact Evaluation with TEDSrate

 Hans J. Scholl , William Menten-Weil , Tim S. Carlson
16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.359-377, ⟨10.1007/978-3-319-64677-0_30⟩
Conference papers hal-01702986v1
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
Page :