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

Filter your results

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

System Design and Analysis of UAV-Assisted BLE Wireless Sensor Systems

 Mikhail Komarov , Dmitri Moltchanov
14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.284-296, ⟨10.1007/978-3-319-33936-8_22⟩
Conference papers hal-01434877v1
Image document

Ransomware Steals Your Phone. Formal Methods Rescue It

 Francesco Mercaldo , Vittoria Nardone , Antonella Santone , Corrado Aaron Visaggio
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
Conference papers hal-01432919v1
Image document

Visualization Model for Monitoring of Computer Networks Security Based on the Analogue of Voronoi Diagrams

 Maxim Kolomeets , Andrey Chechulin , Igor Kotenko
International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.141-157, ⟨10.1007/978-3-319-45507-5_10⟩
Conference papers hal-01635003v1
Image document

A Threat to Friendship Privacy in Facebook

 Francesco Buccafurri , Gianluca Lax , Serena Nicolazzo , Antonino Nocera
International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.96-105, ⟨10.1007/978-3-319-45507-5_7⟩
Conference papers hal-01635021v1
Image document

Mindtraining: Playful Interaction Techniques for People with Dementia

 Elisabeth Hackner , Michael Lankes
15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.223-228, ⟨10.1007/978-3-319-46100-7_21⟩
Conference papers hal-01640286v1
Image document

Multipath TCP Proxy: Unshackling Network Nodes from Today’s End-to-End Connection Principle

 Christos Pollalis , Paris Charalampou , Efstathios Sykas
14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.55-65, ⟨10.1007/978-3-319-33936-8_5⟩
Conference papers hal-01434867v1
Image document

Towards a Research Framework of Computer-Supported Organizational Participation

 Thomas Wagenknecht , René Filpe , Christof Weinhardt
8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.17-28, ⟨10.1007/978-3-319-45074-2_2⟩
Conference papers hal-01637230v1
Image document

Guaranteeing Correctness of Bulk Operations in Outsourced Databases

 Luca Ferretti , Michele Colajanni , Mirco Marchetti
30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.37-51, ⟨10.1007/978-3-319-41483-6_3⟩
Conference papers hal-01633666v1
Image document

Enhancing Image Forgery Detection Using 2-D Cross Products

 Songpon Teerakanok , Tetsutaro Uehara
12th IFIP International Conference on Digital Forensics (DF), Jan 2016, New Delhi, India. pp.297-310, ⟨10.1007/978-3-319-46279-0_15⟩
Conference papers hal-01758681v1
Image document

Reconstructing Tabbed Browser Sessions Using Metadata Associations

 Sriram V. Raghavan
12th IFIP International Conference on Digital Forensics (DF), Jan 2016, New Delhi, India. pp.165-188, ⟨10.1007/978-3-319-46279-0_9⟩
Conference papers hal-01758688v1
Image document

Lawvere Categories as Composed PROPs

 Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers hal-01446031v1
Image document

Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows

 Holger Fischer , Björn Senft
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.30-41, ⟨10.1007/978-3-319-44902-9_3⟩
Conference papers hal-01647719v1
Image document

Passive Expert-Sourcing for Policy Making in the European Union

 Aggeliki Androutsopoulou , Francesco Mureddu , Euripidis Loukis , Yannis Charalabidis
8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.162-175, ⟨10.1007/978-3-319-45074-2_13⟩
Conference papers hal-01637231v1
Image document

Declarative Elasticity in ABS

 Stijn De Gouw , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Conference papers hal-01638585v1
Image document

Representatives of Rough Regions for Generating Classification Rules

 Piotr Hońko
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.79-90, ⟨10.1007/978-3-319-45378-1_8⟩
Conference papers hal-01637465v1
Image document

A Fault-Tolerant Authenticated Key-Conference Agreement Protocol with Forward Secrecy

 Tomasz Hyla , Jerzy Pejaś
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.647-660, ⟨10.1007/978-3-319-45378-1_56⟩
Conference papers hal-01637470v1
Image document

Blocking and Deadlocking Phenomena in Two-Server Tandem Configuration with Optional Feedback – Modeling and Parameter Sensitivity Investigation

 Walenty Oniszczuk
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.441-452, ⟨10.1007/978-3-319-45378-1_39⟩
Conference papers hal-01637494v1
Image document

Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting

 Valery Salauyou
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.741-751, ⟨10.1007/978-3-319-45378-1_64⟩
Conference papers hal-01637501v1
Image document

An Electronic Document for Distributed Electronic Services

 Gerard Wawrzyniak , Imed El Fray
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.617-630, ⟨10.1007/978-3-319-45378-1_54⟩
Conference papers hal-01637502v1
Image document

Attribute Reduction Based on MapReduce Model and Discernibility Measure

 Michal Czolombitko , Jaroslaw Stepaniuk
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.55-66, ⟨10.1007/978-3-319-45378-1_6⟩
Conference papers hal-01637503v1
Image document

UTTOS: A Tool for Testing UEFI Code in OS Environment

 Eder Gomes , Paulo Amora , Elvis M. Teixeira , Antonio Lima , Felipe T. Brito , et al.
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.218-224, ⟨10.1007/978-3-319-47443-4_14⟩
Conference papers hal-01643726v1
Image document

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

 Eduard P. Enoiu , Daniel Sundmark , Adnan Čaušević , Robert Feldt , Paul Pettersson
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.155-171, ⟨10.1007/978-3-319-47443-4_10⟩
Conference papers hal-01643718v1
Image document

Open Data Research in the Nordic Region: Towards a Scandinavian Approach?

 Iryna Susha , Paul Johannesson , Gustaf Juell-Skielse
5th International Conference on Electronic Government and the Information Systems Perspective (EGOV), Sep 2016, Porto, Portugal. pp.61-73, ⟨10.1007/978-3-319-44421-5_5⟩
Conference papers hal-01636454v1
Image document

Multi-stakeholder Preference Analysis in Ex-ante Evaluation of Policy Options - Use Case: Ultra Low Emission Vehicles in UK

 Anton Talantsev , Osama Ibrahim , Aron Larsson
8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.176-188, ⟨10.1007/978-3-319-45074-2_14⟩
Conference papers hal-01637236v1
Image document

Improving Spatial Indexing and Searching for Location-Based DNS Queries

 Daniel Moscoviter , Mozhdeh Gholibeigi , Bernd Meijerink , Ruben Kooijman , Paul Krijger , et al.
14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.187-198, ⟨10.1007/978-3-319-33936-8_15⟩
Conference papers hal-01434851v1
Image document

A Grammar-Based Framework for Rehabilitation Exergames

 Victor Fernandez-Cervantes , Eleni Stroulia , Benjamin Hunter
15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.38-50, ⟨10.1007/978-3-319-46100-7_4⟩
Conference papers hal-01640271v1
Image document

Exploring How Individuals Manage Their Image When Interacting with Professional Contacts Online

 Aparna Gonibeed , M. N. Ravishankar
15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.401-410, ⟨10.1007/978-3-319-45234-0_36⟩
Conference papers hal-01702192v1
Image document

Future Energy Systems – Autonomous Control, Self-sufficient Energy Infrastructures and Big Data

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

Throughput Improvement Using Partially Overlapping Channels in WLAN with Heterogeneous Clients

 Sreetama Mukherjee , Sasthi C. Ghosh
14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.335-347, ⟨10.1007/978-3-319-33936-8_26⟩
Conference papers hal-01434863v1
Image document

An Evolutionary Approach to Cyclic Real World Scheduling

 Dominik Żelazny
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.366-373, ⟨10.1007/978-3-319-45378-1_33⟩
Conference papers hal-01637490v1
Page :