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

Filter your results

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

Commutative automata networks

 Florian Bridoux , Maximilien Gadouleau , Guillaume Theyssier
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.43-58, ⟨10.1007/978-3-030-61588-8_4⟩
Conference papers hal-02548573v1
Image document

Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation

 Tien Thao Nguyen , Luidnel Maignan
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.1-13, ⟨10.1007/978-3-030-61588-8_1⟩
Conference papers hal-02605712v1
Image document

Capturing Privacy-preserving User Contexts with IndoorHash

 Lakhdar Meftah , Romain Rouvoy , Isabelle Chrisment
DAIS 2020 - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. ⟨10.1007/978-3-030-50323-9_2⟩
Conference papers hal-02541391v1
Image document

Combining SLiVER with CADP to Analyze Multi-agent Systems

 Luca Di Stefano , Frédéric Lang , Wendelin Serwe
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers hal-02890401v1
Image document

Co-Sound: An interactive medium with WebAR and spatial synchronization

 Kazuma Inokuchi , Manabu Tsukada , Hiroshi Esaki
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.255-263, ⟨10.1007/978-3-030-65736-9_22⟩
Conference papers hal-02942505v1
Image document

Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Conference papers hal-02947787v1
Image document

A resource usage efficient distributed allocation algorithm for 5G Service Function Chains

 Guillaume Fraysse , Jonathan Lejeune , Julien Sopena , Pierre Sens
DAIS 2020 - 20th IFIP WG 6.1 International Conference Distributed Applications and Interoperable Systems, Jun 2020, Valetta, Malta. pp.169-185, ⟨10.1007/978-3-030-50323-9_11⟩
Conference papers hal-02975998v1
Image document

Machine learning methods for anomaly detection in IoT networks, with illustrations

 Vassia Bonandrini , Jean-François Bercher , Nawel Zangar
Boumerdassi S., Renault É., Mühlethaler P. (eds), Machine Learning for Networking, Lecture Notes in Computer Science, vol 12081. Springer, pp.287-295, 2020, ⟨10.1007/978-3-030-45778-5_19⟩
Book sections hal-02977813v1
Image document

Choreography Automata

 Franco Barbanera , Ivan Lanese , Emilio Tuosto
COORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers hal-03005377v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

 Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

Using Model Learning for the Generation of Mock Components

 Sébastien Salva , Elliott Blot
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Book sections hal-03048336v1
Image document

A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience

 Regina Bernhaupt , Célia Martinie , Philippe Palanque , Günter Wallner
8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, HCSE 2020, Nov 2020, Eindhoven, Netherlands. pp.24-44, ⟨10.1007/978-3-030-64266-2_2⟩
Conference papers hal-03079809v1
Image document

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms

 Nicolas Broders , Célia Martinie , Philippe Palanque , Marco Winckler , Kimmo Halunen
HCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Conference papers hal-03079818v1
Image document

TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores

 Vikas Jaiman , Sonia Ben Mokhtar , Etienne Rivière
20th International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. pp.73-92, ⟨10.1007/978-3-030-50323-9_5⟩
Conference papers hal-02917566v1
Image document

Can technology be leveraged for bridging the rural-urban divide?

 Anuragini Shirish , Shirish C. Srivastava , G. Shainesh
I3E 2020 : The 19th IFIP Conference on e-Business, e-Services and e-Society, Apr 2020, Skukuza, Kruger National Park, South Africa. pp.301-306, ⟨10.1007/978-3-030-45002-1_25⟩
Conference papers hal-03102283v1
Image document

Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility Graph

 Hossein Boomari , Soheila Farokhi
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.61-71, ⟨10.1007/978-3-030-57852-7_5⟩
Conference papers hal-03165378v1
Image document

On the Complexity of the Upper r-Tolerant Edge Cover Problem

 Ararat Harutyunyan , Mehdi Khosravian Ghadikolaei , Nikolaos Melissinos , Jérôme Monnot , Aris Pagourtzis
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.32-47, ⟨10.1007/978-3-030-57852-7_3⟩
Conference papers hal-03165379v1
Image document

Improved Algorithms for Distributed Balanced Clustering

 Kian Mirjalali , Hamid Zarrabi-Zadeh
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.72-84, ⟨10.1007/978-3-030-57852-7_6⟩
Conference papers hal-03165380v1
Image document

Margin-Based Semi-supervised Learning Using Apollonius Circle

 Mona Emadi , Jafar Tanha
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.48-60, ⟨10.1007/978-3-030-57852-7_4⟩
Conference papers hal-03165381v1
Image document

Path Planning with Objectives Minimum Length and Maximum Clearance

 Mansoor Davoodi , Arman Rouhani , Maryam Sanisales
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.101-115, ⟨10.1007/978-3-030-57852-7_8⟩
Conference papers hal-03165382v1
Image document

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models

 Mohammadsadegh Mohagheghi , Behrang Chaboki
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-030-57852-7_1⟩
Conference papers hal-03165383v1
Image document

Combining Machine and Automata Learning for Network Traffic Classification

 Zeynab Sabahi-Kaviani , Fatemeh Ghassemi , Zahra Alimadadi
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.17-31, ⟨10.1007/978-3-030-57852-7_2⟩
Conference papers hal-03165385v1
Image document

Finite Interval-Time Transition System for Real-Time Actors

 Shaghayegh Tavassoli , Ramtin Khosravi , Ehsan Khamespanah
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.85-100, ⟨10.1007/978-3-030-57852-7_7⟩
Conference papers hal-03165386v1
Image document

Topics in Theoretical Computer Science

 Luis Barbosa , Mohammad Ali Abam
Springer International Publishing, LNCS-12281, 2020, Lecture Notes in Computer Science, 978-3-030-57851-0. ⟨10.1007/978-3-030-57852-7⟩
Books hal-03165376v1
Image document

Information Security Theory and Practice

 Maryline Laurent , Thanassis Giannetsos
Springer, LNCS-12024, pp.(X-253), 2020, Lecture Notes in Computer Science, 978-3-030-41701-7. ⟨10.1007/978-3-030-41702-4⟩
Books hal-03173895v1
Image document

Beyond Interactions

 José Abdelnour Nocera , Antigoni Parmaxi , Marco Winckler , Fernando Loizides , Carmelo Ardito , et al.
Springer, 11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩
Books hal-03138795v1
Image document

Optical Network Design and Modeling

 Anna Tzanakaki , Manos Varvarigos , Raul Muñoz , Reza Nejabati , Noboru Yoshikane , et al.
Springer International Publishing, LNCS-11616, 2020, Lecture Notes in Computer Science, 978-3-030-38084-7. ⟨10.1007/978-3-030-38085-4⟩
Books hal-03200767v1
Image document

eHealth in the Hood: Exploring Digital Participation in a Swedish Suburb

 Karin Skill , Ahmed Kaharevic
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.121-132, ⟨10.1007/978-3-030-58141-1_10⟩
Conference papers hal-03201952v1
Image document

Analysing Legal Information Requirements for Public Policy Making

 Charalampos Alexopoulos , Shefali Virkar , Michalis Avgerinos Loutsaris , Anna-Sophie Novak , Euripidis Loukis
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.95-108, ⟨10.1007/978-3-030-58141-1_8⟩
Conference papers hal-03201954v1
Image document

Digital Transformation in the Context of the Open Government Partnership

 Noella Edelmann , Mary Francoli
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.69-80, ⟨10.1007/978-3-030-58141-1_6⟩
Conference papers hal-03201955v1
Page :