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

Filter your results

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

Formal Analysis of a Distributed Algorithm for Tracking Progress

 Martín Abadi , Frank Mcsherry , Derek G. Murray , Thomas L. Rodeheffer
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.5-19, ⟨10.1007/978-3-642-38592-6_2⟩
Conference papers hal-01515239v1
Image document

Toward Secure Clustered Multi-Party Computation: A Privacy-Preserving Clustering Protocol

 Sedigheh Abbasi , Stelvio Cimato , Ernesto Damiani
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.447-452, ⟨10.1007/978-3-642-36818-9_49⟩
Conference papers hal-01480202v1
Image document

Verification of Directed Acyclic Ad Hoc Networks

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Othmane Rezine
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.193-208, ⟨10.1007/978-3-642-38592-6_14⟩
Conference papers hal-01515235v1
Image document

Push-Down Automata with Gap-Order Constraints

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Giorgio Delzanno , Andreas Podelski
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩
Conference papers hal-01514667v1
Image document

Passive Remote Source NAT Detection Using Behavior Statistics Derived from NetFlow

 Sebastian Abt , Christian Dietz , Harald Baier , Slobodan Petrović
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.148-159, ⟨10.1007/978-3-642-38998-6_18⟩
Conference papers hal-01489964v1
Image document

Image Watermarking Using Psychovisual Threshold over the Edge

 Nur Azman Abu , Ferda Ernawan , Nanna Suryana , Shahrin Sahib
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.519-527, ⟨10.1007/978-3-642-36818-9_60⟩
Conference papers hal-01480213v1
Image document

Vimprint: Exploring Alternative Learning through Low-End Mobiles

 Sheetal K. Agarwal , Jyoti Grover , Anupam Jain , Arun Kumar
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.589-596, ⟨10.1007/978-3-642-40480-1_41⟩
Conference papers hal-01501775v1
Image document

Visual Conversational Interfaces to Empower Low-Literacy Users

 Sheetal K. Agarwal , Jyoti Grover , Arun Kumar , Monia Puri , Meghna Singh , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.729-736, ⟨10.1007/978-3-642-40498-6_67⟩
Conference papers hal-01510535v1
Image document

Transactional Failure Recovery for a Distributed Key-Value Store

 Muhammad Yousuf Ahmad , Bettina Kemme , Ivan Brondino , Marta Patiño-Martínez , Ricardo Jiménez-Peris
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.267-286, ⟨10.1007/978-3-642-45065-5_14⟩
Conference papers hal-01480780v1
Image document

Rule-Based Integrity Checking of Interrupt Descriptor Tables in Cloud Environments

 Irfan Ahmed , Aleksandar Zoranic , Salman Javaid , Golden Richard Iii , Vassil Roussev
9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.305-328, ⟨10.1007/978-3-642-41148-9_21⟩
Conference papers hal-01460630v1
Image document

Probabilistic QoS Analysis of Web Services

 Waseem Ahmed , Yong Wei Wu
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.393-404, ⟨10.1007/978-3-642-40820-5_33⟩
Conference papers hal-01513761v1
Image document

Towards a Pervasive Access Control within Video Surveillance Systems

 Dana Al Kukhun , Dana Codreanu , Ana-Maria Manzat , Florence Sèdes
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.289-303, ⟨10.1007/978-3-642-40511-2_20⟩
Conference papers hal-01217394v1
Image document

Video Navigation with a Personal Viewing History

 Abir Al-Hajri , Gregor Miller , Sidney Fels , Matthew Fong
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.352-369, ⟨10.1007/978-3-642-40477-1_22⟩
Conference papers hal-01504895v1
Image document

Enhancing Privacy Protection in Distributed Environments through Identification and Authentication-Based Secure Data-Level Access Control

 Nisreen Alam Aldeen , Gerald Quirchmayr
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.441-446, ⟨10.1007/978-3-642-36818-9_48⟩
Conference papers hal-01480201v1
Image document

A transversal alignment between measurements and enterprise architecture for early verification of telecom service design

 Iyas Alloush , Yvon Kermarrec , Siegfried Rouvrais
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.245-256, ⟨10.1007/978-3-642-40552-5_22⟩
Conference papers hal-00859979v1
Image document

Experimental Investigation in the Impact on Security of the Release Order of Defensive Algorithms

 Suliman A. Alsuhibany , Ahmad Alonaizi , Charles Morisset , Chris Smith , Aad Van Moorsel
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.321-336
Conference papers hal-01506554v1
Image document

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels

 Rajeev Alur , Jay Thakkar , Aditya Kanade
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.209-224, ⟨10.1007/978-3-642-38592-6_15⟩
Conference papers hal-01515246v1
Image document

AnonyLikes: Anonymous Quantitative Feedback on Social Networks

 Pedro Alves , Paulo Ferreira
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.466-484, ⟨10.1007/978-3-642-45065-5_24⟩
Conference papers hal-01480788v1
Image document

Adoption and Appropriation: A Design Process from HCI Research at a Brazilian Neurological Hospital

 Junia Anacleto , Sidney Fels
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.356-363, ⟨10.1007/978-3-642-40480-1_22⟩
Conference papers hal-01501754v1
Image document

Trust-Based Scenarios – Predicting Future Agent Behavior in Open Self-organizing Systems

 Gerrit Anders , Florian Siefert , Jan-Philipp Steghöfer , Wolfgang Reif
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.90-102, ⟨10.1007/978-3-642-54140-7_8⟩
Conference papers hal-01291502v1
Image document

Evaluation of PhonAge: An Adapted Smartphone Interface for Elderly People

 Farah Arab , Yasir Malik , Bessam Abdulrazak
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.547-554, ⟨10.1007/978-3-642-40498-6_44⟩
Conference papers hal-01510540v1
Image document

Data Recovery from Proprietary Formatted Cctv Hard Disks

 Aswami Ariffin , Jill Slay , Kim-Kwang Choo
9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.213-223, ⟨10.1007/978-3-642-41148-9_15⟩
Conference papers hal-01460629v1
Image document

Trustworthy Opportunistic Access to the Internet of Services

 Alessandro Armando , Aniello Castiglione , Gabriele Costa , Ugo Fiore , Alessio Merlo , et al.
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.469-478, ⟨10.1007/978-3-642-36818-9_52⟩
Conference papers hal-01480255v1
Image document

Using Semantic Web to Enhance User Understandability for Online Shopping License Agreement

 Muhammad Asfand-E-Yar , A Min Tjoa
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.233-242, ⟨10.1007/978-3-642-36818-9_24⟩
Conference papers hal-01480178v1
Image document

Use of Linear Error-Correcting Subcodes in Flow Watermarking for Channels with Substitution and Deletion Errors

 Boris Assanovich , William Puech , Iuliia Tkachenko
14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg, Germany. pp.105-112, ⟨10.1007/978-3-642-40779-6_8⟩
Conference papers lirmm-01379592v1
Image document

Crisis, Innovation and e-Participation: Towards a Framework for Comparative Research

 Joachim Åström , Hille Hinsberg , Magnus E. Jonsson , Martin Karlsson
5th International Conference on Electronic Participation (ePart), Sep 2013, Koblenz, Germany. pp.26-36, ⟨10.1007/978-3-642-40346-0_3⟩
Conference papers hal-01491229v1
Image document

An Abstract Framework for Deadlock Prevention in BIP

 Paul C. Attie , Saddek Bensalem , Marius Bozga , Mohamad Jaber , Joseph Sifakis , et al.
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.161-177, ⟨10.1007/978-3-642-38592-6_12⟩
Conference papers hal-00878752v1
Image document

File Fragment Analysis Using Normalized Compression Distance

 Stefan Axelsson , Kamran Ali Bajwa , Mandhapati Venkata Srikanth
9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.171-182, ⟨10.1007/978-3-642-41148-9_12⟩
Conference papers hal-01460604v1
Image document

Stakeholder Salience Changes in an e-Government Implementation Project

 Karin Axelsson , Ulf Melin , Ida Lindgren
12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.237-249, ⟨10.1007/978-3-642-40358-3_20⟩
Conference papers hal-01490970v1
Image document

The Development and Evaluation of an Interactive System for Age Related Musculoskeletal Rehabilitation in the Home

 Mobolaji Ayoade , Stephen Uzor , Lynne Baillie
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.1-18, ⟨10.1007/978-3-642-40498-6_1⟩
Conference papers hal-01510558v1
Page :