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

Filter your results

731 results
Deposit type : Fulltext
Image document

Stationary Distribution of Waiting Time in MAP/G/1/N Queueing System with LIFO Service Discipline

Alexander Dudin , Valentina Klimenok , Konstantin Samouylov
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.50-61, ⟨10.1007/978-3-319-61382-6_5⟩
Conference papers hal-01675436v1
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

State Complexity of Suffix Distance

Timothy Ng , David Rappaport , Kai Salomaa
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.287-298, ⟨10.1007/978-3-319-60252-3_23⟩
Conference papers hal-01656995v1
Image document

State Assignment of Finite-State Machines by Using the Values of Input Variables

Valery Salauyou , Michal Ostapczuk
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.592-603, ⟨10.1007/978-3-319-59105-6_51⟩
Conference papers hal-01656230v1
Image document

Square on Deterministic, Alternating, and Boolean Finite Automata

Ivana Krajňáková , Galina Jirásková
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.214-225, ⟨10.1007/978-3-319-60252-3_17⟩
Conference papers hal-01657005v1
Image document

Spur-Free MASH DDSM with Eliminable Dither

Yilong Liao , Xiangning Fan
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.282-291, ⟨10.1007/978-3-319-61382-6_23⟩
Conference papers hal-01675433v1
Image document

Spur-Free and Stable Digital Delta-Sigma Modulator via Using HK-EFM

Xiangning Fan , Pengpeng Shi , Yilong Liao , Jian Tao
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.304-314, ⟨10.1007/978-3-319-61382-6_25⟩
Conference papers hal-01675435v1
Image document

Sports Training System for Situational Judgment Improvement by Reliving First Person Viewpoint

Shunki Shimizu , Kaoru Sumi
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.189-195, ⟨10.1007/978-3-319-66715-7_20⟩
Conference papers hal-01771272v1
Image document

Split-and-merge Tweak in Cross Entropy Clustering

Krzysztof Hajto , Konrad Kamieniecki , Krzysztof Misztal , Przemysław Spurek
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.193-204, ⟨10.1007/978-3-319-59105-6_17⟩
Conference papers hal-01656257v1
Image document

Special Digital Monies: The Design of Alipay and WeChat Wallet for Mobile Payment Practices in China

Yong Ming Kow , Xinning Gui , Waikuen Cheng
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.136-155, ⟨10.1007/978-3-319-68059-0_9⟩
Conference papers hal-01679828v1
Image document

Spatial Edge Services - From Coordination Model to Actual Applications

Giovanna Di Marzo Serugendo
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.3-17, ⟨10.1007/978-3-319-59746-1_1⟩
Conference papers hal-01657349v1
Image document

Sparse Random Projections of Camera Images for Monitoring of a Combustion Process in a Gas Burner

Ewa Skubalska-Rafajłowicz
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.447-456, ⟨10.1007/978-3-319-59105-6_38⟩
Conference papers hal-01656200v1
Image document

SoPhy: Smart Socks for Video Consultations of Physiotherapy

Deepti Aggarwal , Thuong Hoang , Weiyi Zhang , Bernd Ploderer , Frank Vetere , et al.
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.424-428, ⟨10.1007/978-3-319-68059-0_44⟩
Conference papers hal-01679830v1
Image document

Some Remarks on the Algebraic Properties of Group Invariant Operators in Persistent Homology

Patrizio Frosini , Nicola Quercioli
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.14-24, ⟨10.1007/978-3-319-66808-6_2⟩
Conference papers hal-01677132v1
Image document

Some Computational Limits of Trellis Automata

Véronique Terrier
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.176-186, ⟨10.1007/978-3-319-58631-1_14⟩
Conference papers hal-01578301v1
Image document

SofTouch: Turning Soft Objects into Touch Interfaces Using Detachable Photo Sensor Modules

Naomi Furui , Katsuhiro Suzuki , Yuta Sugiura , Maki Sugimoto
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.47-58, ⟨10.1007/978-3-319-66715-7_6⟩
Conference papers hal-01771249v1
Image document

Socio-technical HCI for Ethical Value Exchange

José Abdelnour-Nocera , Torkil Clemmensen
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.148-159, ⟨10.1007/978-3-319-92081-8_15⟩
Conference papers hal-01821413v1
Image document

Socio-technical Design of an App for Migrants Rescue Operations

Stefano Valtolina , Barbara Rita Barricelli , Alessandro Rizzi , Sabrina Menghini , Ascanio Ciriaci
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.140-147, ⟨10.1007/978-3-319-92081-8_14⟩
Conference papers hal-01821417v1
Image document

SmartDEMAP: A Smart Contract Deployment and Management Platform

Markus Knecht , Burkhard Stiller
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.159-164, ⟨10.1007/978-3-319-60774-0_15⟩
Conference papers hal-01806066v1
Image document

Smart City Participation: Dream or Reality? A Comparison of Participatory Strategies from Hamburg, Berlin & Enschede

Ton Spil , Robin Effing , Jaron Kwast
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.122-134, ⟨10.1007/978-3-319-68557-1_12⟩
Conference papers hal-01768502v1
Image document

Smart Building Climate Control Considering Indoor and Outdoor Parameters

Batyrkhan Omarov , Aigerim Altayeva , Young Im Cho
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.412-422, ⟨10.1007/978-3-319-59105-6_35⟩
Conference papers hal-01656198v1
Image document

Situational Awareness: Detecting Critical Dependencies and Devices in a Network

Martin Laštovička , Pavel Čeleda
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.173-178, ⟨10.1007/978-3-319-60774-0_17⟩
Conference papers hal-01806054v1
Image document

Simulation and Testing of a Platooning Management Protocol Implementation

Bruno Ribeiro , Fábio Gonçalves , Alexandre Santos , Maria João Nicolau , Bruno Dias , et al.
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.174-185, ⟨10.1007/978-3-319-61382-6_14⟩
Conference papers hal-01675420v1
Image document

Simpler Coordination of JavaScript Web Workers

Marco Krauweel , Sung-Shik Jongmans
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.40-58, ⟨10.1007/978-3-319-59746-1_3⟩
Conference papers hal-01657346v1
Image document

Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions

Fábio Coelho , Miguel Matos , José Pereira , Rui Oliveira
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.3-18, ⟨10.1007/978-3-319-59665-5_1⟩
Conference papers hal-01800128v1
Image document

Similarity as a Design Driver for User Interfaces of Dependable Critical Systems

David Navarre , Philippe Palanque , Arnaud Hamon , Sabrina Della Pasqua
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.114-122, ⟨10.1007/978-3-319-92081-8_11⟩
Conference papers hal-01821420v1
Image document

SikkerhetsLøypa - Knowledge Toward Sustainable and Secure Paths of Creative and Critical Digital Skills

Letizia Jaccheri , Deepti Mishra , Siv Hilde Houmb , Aida Omerovic , Sofia Papavlasopoulou
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.157-168, ⟨10.1007/978-3-319-66715-7_16⟩
Conference papers hal-01771244v1
Image document

Should We Disable the Comment Function on Social Media? The Impact of Negative eWOM on Consumers’ Trust in Fashion Presentations

Julian Bühler , Matthias Murawski , Markus Bick
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.325-338, ⟨10.1007/978-3-319-68557-1_29⟩
Conference papers hal-01768511v1
Image document

Shifting from the Children to the Teens’ Usability: Adapting a Gamified Experience of a Museum Tour

Vanessa Cesário , Marko Radeta , António Coelho , Valentina Nisi
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.464-468, ⟨10.1007/978-3-319-68059-0_52⟩
Conference papers hal-01679826v1
Image document

Shelves: A User-Defined Block Management Tool for Visual Programming Languages

Sheng-Yi Hsu , Yuan-Fu Lou , Shing-Yun Jung , Chuen-Tsai Sun
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.335-344, ⟨10.1007/978-3-319-67687-6_22⟩
Conference papers hal-01717199v1