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

Filter your results

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

The PEW Framework for Worth Mapping

 Fatoumata Camara , Gaëlle Calvary , Rachel Demumieux
INTERACT 2013, 14th IFIP TC 13 International Conference, 2013, Cape Town, South Africa. pp.667-674
Conference papers hal-00953353v1
Image document

FastCast: A Throughput- and Latency-Efficient Total Order Broadcast Protocol

 Gautier Berthou , Vivien Quéma
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.1-20, ⟨10.1007/978-3-642-45065-5_1⟩
Conference papers hal-01480785v1
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

 Hugues Evrard , Frédéric Lang
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.146-160
Conference papers hal-00818788v1
Image document

Managing Personal Information across Multiple Devices: Challenges and Opportunities

 Simone Beets , Janet Wesson
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.185-192, ⟨10.1007/978-3-642-40483-2_13⟩
Conference papers hal-01497435v1
Image document

Threshold Method of Detecting Long-Time TPM Synchronization

 Michał Dolecki , Ryszard Kozera
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.241-252, ⟨10.1007/978-3-642-40925-7_23⟩
Conference papers hal-01496071v1
Image document

Roadside Infrastructure Placement for Information Dissemination in Urban ITS Based on a Probabilistic Model

 Bo Xie , Geming Xia , Yingwen Chen , Ming Xu
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.322-331, ⟨10.1007/978-3-642-40820-5_27⟩
Conference papers hal-01513754v1
Image document

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

 Elham Ramezani , Natalia Sidorova , Christian Stahl
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.150-167, ⟨10.1007/978-3-642-40213-5_10⟩
Conference papers hal-01514666v1
Image document

Delta Modeling and Model Checking of Product Families

 Hamideh Sabouri , Ramtin Khosravi
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩
Conference papers hal-01514656v1
Image document

A Generic Multi-layer Network Optimization Model with Demand Uncertainty

 Uwe Steglich , Thomas Bauschert , Christina Büsing , Manuel Kutschka
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.13-24, ⟨10.1007/978-3-642-40552-5_2⟩
Conference papers hal-01497029v1
Image document

An Effective Approach for Vocal Melody Extraction from Polyphonic Music on GPU

 Guangchao Yao , Yao Zheng , Limin Xiao , Li Ruan , Zhen Lin , et al.
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.284-297, ⟨10.1007/978-3-642-40820-5_24⟩
Conference papers hal-01513779v1
Image document

Human-Spreadsheet Interaction

 Andrea Kohlhase
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.571-578, ⟨10.1007/978-3-642-40498-6_47⟩
Conference papers hal-01510523v1
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

Notes on the Topological Consequences of BGP Policy Routing on the Internet AS Topology

 Dávid Szabó , András Gulyás
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.274-281, ⟨10.1007/978-3-642-40552-5_25⟩
Conference papers hal-01497022v1
Image document

The Mysterious Whiteboard

 Clemens Nylandsted Klokmose , Olav W. Bertelsen
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.37-54, ⟨10.1007/978-3-642-40480-1_3⟩
Conference papers hal-01501773v1
Image document

Mapping of Self-organization Properties and Non-functional Requirements in Smart Grids

 Sebastian Lehnhoff , Sebastian Rohjans , Richard Holzer , Florian Niedermeier , Hermann De Meer
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.163-168, ⟨10.1007/978-3-642-54140-7_16⟩
Conference papers hal-01291514v1
Image document

An Extended Multi-secret Images Sharing Scheme Based on Boolean Operation

 Huan Wang , Mingxing He , Xiao Li
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.513-518, ⟨10.1007/978-3-642-36818-9_59⟩
Conference papers hal-01480211v1
Image document

On Efficient Processing of Complicated Cloaked Region for Location Privacy Aware Nearest-Neighbor Queries

 Chan Nam Ngo , Tran Khanh Dang
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.101-110, ⟨10.1007/978-3-642-36818-9_11⟩
Conference papers hal-01480224v1
Image document

Ditto – Deterministic Execution Replayability-as-a-Service for Java VM on Multiprocessors

 João M. Silva , José Simão , Luís Veiga
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.405-424, ⟨10.1007/978-3-642-45065-5_21⟩
Conference papers hal-01480786v1
Image document

An Adaptive Low-Overhead Mechanism for Dependable General-Purpose Many-Core Processors

 Wentao Jia , Rui Li , Chunyan Zhang
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.337-342, ⟨10.1007/978-3-642-36818-9_37⟩
Conference papers hal-01480191v1
Image document

Strategies for Generating and Evaluating Large-Scale Powerlaw-Distributed P2P Overlays

 Ana-Maria Oprescu , Spyros Voulgaris , Haralambie Leahu
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.71-84, ⟨10.1007/978-3-642-38541-4_6⟩
Conference papers hal-01489466v1
Image document

Reducing the Time Required for Hashing Operations

 Frank Breitinger , Kaloyan Petrov
9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.101-117, ⟨10.1007/978-3-642-41148-9_7⟩
Conference papers hal-01460624v1
Image document

The ReflecTable: Bridging the Gap between Theory and Practice in Design Education

 Jonathan Hook , Thomas Hjermitslev , Ole Sejer Iversen , Patrick Olivier
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.624-641, ⟨10.1007/978-3-642-40480-1_44⟩
Conference papers hal-01501778v1
Image document

Existing but Not Explicit - The User Perspective in Scrum Projects in Practice

 Åsa Cajander , Marta Larusdottir , Jan Gulliksen
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.762-779, ⟨10.1007/978-3-642-40477-1_52⟩
Conference papers hal-01504928v1
Image document

Marking Menus for Eyes-Free Interaction Using Smart Phones and Tablets

 Jens Bauer , Achim Ebert , Oliver Kreylos , Bernd Hamann
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.481-494
Conference papers hal-01506764v1
Image document

Cross-Tier Application and Data Partitioning of Web Applications for Hybrid Cloud Deployment

 Nima Kaviani , Eric Wohlstadter , Rodger Lea
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.226-246, ⟨10.1007/978-3-642-45065-5_12⟩
Conference papers hal-01480778v1
Image document

One Half or 50%? An Eye-Tracking Study of Number Representation Readability

 Luz Rello , Susana Bautista , Ricardo Baeza-Yates , Pablo Gervás , Raquel Hervás , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.229-245, ⟨10.1007/978-3-642-40498-6_17⟩
Conference papers hal-01510564v1
Image document

Older Users’ Wish List for Technology Attributes

 Simon Himmel , Martina Ziefle , Chantal Lidynia , Andreas Holzinger
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.16-27
Conference papers hal-01506769v1
Image document

Technology Enhanced PBL in HCI Education: A Case Study

 Christina Vasiliou , Andri Ioannou , Panayiotis Zaphiris
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.643-650, ⟨10.1007/978-3-642-40498-6_56⟩
Conference papers hal-01510533v1
Image document

Balanced XOR-ed Coding

 Katina Kralevska , Danilo Gligoroski , Harald Øverby
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.161-172, ⟨10.1007/978-3-642-40552-5_15⟩
Conference papers hal-01497013v1
Image document

Modeling and Quantifying the Survivability of Telecommunication Network Systems under Fault Propagation

 Lang Xie , Poul E. Heegaard , Yuming Jiang
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.25-36, ⟨10.1007/978-3-642-40552-5_3⟩
Conference papers hal-01497034v1
Page :