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

Filter your results

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

Informative Sound and Performance in a Team Based Computer Game

 Patrick Ng , Keith Nesbitt , Karen Blackmore
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.241-243, ⟨10.1007/978-3-662-45212-7_35⟩
Conference papers hal-01408562v1
Image document

End-to-End Secure and Privacy Preserving Mobile Chat Application

 Raja Naeem Akram , Ryan L. Ko
8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.124-139, ⟨10.1007/978-3-662-43826-8_9⟩
Conference papers hal-01400931v1
Image document

Verifiable Decisions in Autonomous Concurrent Systems

 Lenz Belzner
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.17-32, ⟨10.1007/978-3-662-43376-8_2⟩
Conference papers hal-01290065v1
Image document

One-Time Biometrics for Online Banking and Electronic Payment Authentication

 Aude Plateaux , Patrick Lacharme , Christophe Rosenberger , Audun Jøsang
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.179-193, ⟨10.1007/978-3-319-10975-6_14⟩
Conference papers hal-01076676v1
Image document

PPMS: A Peer to Peer Metadata Management Strategy for Distributed File Systems

 Di Yang , Weigang Wu , Zhansong Li , Jiongyu Yu , Yong Li
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.435-445, ⟨10.1007/978-3-662-44917-2_36⟩
Conference papers hal-01403112v1
Image document

The Inhabitation Problem for Non-idempotent Intersection Types

 Antonio Bucciarelli , Delia Kesner , Simona Ronchi Della Rocca
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.341-354, ⟨10.1007/978-3-662-44602-7_26⟩
Conference papers hal-01402082v1
Image document

LINC: A Compact Yet Powerful Coordination Environment

 Maxime Louvel , François Pacull
Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings, Jun 2014, Berlin, Germany. pp.83-98, ⟨10.1007/978-3-662-43376-8_6⟩
Conference papers hal-01274824v1
Image document

Verifying Security Policies Using Host Attributes

 Cornelius Diekmann , Stephan-A. Posselt , Heiko Niedermayer , Holger Kinkelin , Oliver Hanka , et al.
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.133-148, ⟨10.1007/978-3-662-43613-4_9⟩
Conference papers hal-01398013v1
Image document

Efficient Management of Virtualized Information-Centric Networks

 Maxim Claeys , Steven Latré , Filip De Turck
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.42-46, ⟨10.1007/978-3-662-43862-6_4⟩
Conference papers hal-01401285v1
Image document

Formal Specification and Verification of CRDTs

 Peter Zeller , Annette Bieniusa , Arnd Poetzsch-Heffter
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43613-4_3⟩
Conference papers hal-01398007v1
Image document

Affine Sessions

 Dimitris Mostrous , Vasco Thudichum Vasconcelos
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.115-130, ⟨10.1007/978-3-662-43376-8_8⟩
Conference papers hal-01290071v1
Image document

Do Personality Traits Work as Moderator on the Intention to Purchase Mobile Applications Work? - A Pilot Study

 Charnsak Srisawatsakul , Gerald Quirchmayr , Borworn Papasratorn
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.56-65, ⟨10.1007/978-3-642-55032-4_6⟩
Conference papers hal-01397144v1
Image document

Hybridization of Haar Wavelet Decomposition and Computational Intelligent Algorithms for the Estimation of Climate Change Behavior

 Haruna Chiroma , Sameem Abdulkareem , Adamu I. Abubakar , Eka Novita Sari , Tutut Herawan , et al.
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.238-247, ⟨10.1007/978-3-642-55032-4_23⟩
Conference papers hal-01397202v1
Image document

Document Tracking Technology to Support Indonesian Local E-Governments

 Wikan Sunindyo , Bayu Hendradjaya , G. Putri Saptawati , Tricya E. Widagdo
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.338-347, ⟨10.1007/978-3-642-55032-4_33⟩
Conference papers hal-01397230v1
Image document

A Bioinformatics Workflow for Genetic Association Studies of Traits in Indonesian Rice

 James W. Baurley , Bens Pardamean , Anzaludin S. Perbangsa , Dwinita Utami , Habib Rijzaani , et al.
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.356-364, ⟨10.1007/978-3-642-55032-4_35⟩
Conference papers hal-01397232v1
Image document

The Mediating Role of Social Competition Identity Management Strategy in the Predictive Relationship between Susceptibility to Social Influence, Internet Privacy Concern, and Online Political Efficacy

 Juneman Abraham , Murty Magda Pane
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.492-499, ⟨10.1007/978-3-642-55032-4_50⟩
Conference papers hal-01397263v1
Image document

Similarity Hashing Based on Levenshtein Distances

 Frank Breitinger , Georg Ziroff , Steffen Lange , Harald Baier
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.133-147, ⟨10.1007/978-3-662-44952-3_10⟩
Conference papers hal-01393767v1
Image document

A Scalable and Efficient Privacy Preserving Global Itemset Support Approximation Using Bloom Filters

 Vikas G. Ashok , Ravi Mukkamala
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.382-389, ⟨10.1007/978-3-662-43936-4_26⟩
Conference papers hal-01284874v1
Image document

APP-LRU: A New Page Replacement Method for PCM/DRAM-Based Hybrid Memory Systems

 Zhangling Wu , Peiquan Jin , Chengcheng Yang , Lihua Yue
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.84-95, ⟨10.1007/978-3-662-44917-2_8⟩
Conference papers hal-01403068v1
Image document

Trees of Tales: A Playful Reading Application for Arabic Children

 Fatma Alaamri , Stefan Greuter , Steffen P. Walz
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.3-10, ⟨10.1007/978-3-662-45212-7_1⟩
Conference papers hal-01408498v1
Image document

Pupil and Iris Detection Algorithm for Near-Infrared Capture Devices

 Adam Szczepański , Krzysztof Misztal , Khalid Saeed
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.141-150, ⟨10.1007/978-3-662-45237-0_15⟩
Conference papers hal-01405572v1
Image document

Man-Machine Interaction Improvement by Means of Automatic Human Personality Identification

 Ryszard Tadeusiewicz , Adrian Horzyk
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.278-289, ⟨10.1007/978-3-662-45237-0_27⟩
Conference papers hal-01405598v1
Image document

Network Anomaly Detection Using Parameterized Entropy

 Przemysław Bereziński , Marcin Szpyrka , Bartosz Jasiul , Michał Mazur
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.465-478, ⟨10.1007/978-3-662-45237-0_43⟩
Conference papers hal-01405630v1
Image document

Sweet Dreams and Nightmares: Security in the Internet of Things

 Timo Kasper , David Oswald , Christof Paar
8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.1-9, ⟨10.1007/978-3-662-43826-8_1⟩
Conference papers hal-01400916v1
Image document

Spectral Clustering Based on Analysis of Eigenvector Properties

 Małgorzata Lucińska , Sławomir T. Wierzchoń
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.43-54, ⟨10.1007/978-3-662-45237-0_6⟩
Conference papers hal-01405553v1
Image document

Goal-Oriented Monitoring Adaptation: Methodology and Patterns

 Antoine Toueir , Julien Broisin , Michelle Sibilla
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.133-146, ⟨10.1007/978-3-662-43862-6_17⟩
Conference papers hal-01401300v1
Image document

Specifying and Verifying Properties of Space

 Vincenzo Ciancia , Diego Latella , Michele Loreti , Mieke Massink
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩
Conference papers hal-01402045v1
Image document

Aggregation of Statistical Data from Passive Probes: Techniques and Best Practices

 Silvia Colabrese , D. Rossi , Marco Mellia
6th International Workshop on Traffic Monitoring and Analysis (TMA), Apr 2014, London, United Kingdom. pp.38-50, ⟨10.1007/978-3-642-54999-1_4⟩
Conference papers hal-01396470v1
Image document

QUELLE – A Framework for Accelerating the Development of Elastic Systems

 Daniel Moldovan , Georgiana Copil , Hong-Linh Truong , Schahram Dustdar
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.93-107, ⟨10.1007/978-3-662-44879-3_7⟩
Conference papers hal-01318277v1
Image document

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study

 Morten Mossige , Arnaud Gotlieb , Hein Meling
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.145-160, ⟨10.1007/978-3-662-44857-1_10⟩
Conference papers hal-01405281v1
Page :