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

Filter your results

50 results
language_s : English
Page :
sorted by
Image document

Spheres and Lenses: Activity-Based Scenario / Narrative Approach for Design and Evaluation of Entertainment through Engagement

 Tim Marsh , Bonnie Nardi
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.42-51, ⟨10.1007/978-3-662-45212-7_6⟩
Conference papers hal-01408503v1
Image document

CrowdMAC: A Crowdsourcing System for Mobile Access

 Ngoc Do , Cheng-Hsin Hsu , Nalini Venkatasubramanian
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.1-20, ⟨10.1007/978-3-642-35170-9_1⟩
Conference papers hal-01555555v1
Image document

Online Games and Family Ties: Influences of Social Networking Game on Family Relationship

 Jing Wen , Yong Ming Kow , Yunan Chen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.250-264, ⟨10.1007/978-3-642-23765-2_18⟩
Conference papers hal-01591813v1
Image document

What Do You See in the Cloud? Understanding the Cloud-Based User Experience through Practices

 John C. Tang , Jed R. Brubaker , Catherine C. Marshall
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.678-695, ⟨10.1007/978-3-642-40480-1_47⟩
Conference papers hal-01501781v1
Image document

Efficient Batched Synchronization in Dropbox-Like Cloud Storage Services

 Zhenhua Li , Christo Wilson , Zhefu Jiang , Yao Liu , Ben Y. Zhao , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.307-327, ⟨10.1007/978-3-642-45065-5_16⟩
Conference papers hal-01480782v1

Traffic Monitoring and Analysis

 Alberto Dainotti , Anirban Mahanti , Steve Uhlig
Springer, LNCS-8406, 2014, Lecture Notes in Computer Science, 978-3-642-54998-4. ⟨10.1007/978-3-642-54999-1⟩
Books hal-01396505v1
Image document

Scaling Microblogging Services with Divergent Traffic Demands

 Tianyin Xu , Yang Chen , Lei Jiao , Ben Y. Zhao , Pan Hui , et al.
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.20-40, ⟨10.1007/978-3-642-25821-3_2⟩
Conference papers hal-01597765v1
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

A Confucian Look at Internet Censorship in China

 Yubo Kou , Bryan Semaan , Bonnie Nardi
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.377-398, ⟨10.1007/978-3-319-67744-6_25⟩
Conference papers hal-01676171v1
Image document

Here or There? How Configuration of Transnational Teams Impacts Social Capital

 Julia Katherine Haines , Judith S. Olson , Gary M. Olson
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.479-496, ⟨10.1007/978-3-642-40480-1_32⟩
Conference papers hal-01501765v1
Image document

Towards Safe Spaces Online: A Study of Indian Matrimonial Websites

 Vishal Sharma , Bonnie Nardi , Juliet Norton , A. M. Tsaasan
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.43-66, ⟨10.1007/978-3-030-29387-1_4⟩
Conference papers hal-02553879v1
Image document

Views and Transactional Storage for Large Graphs

 Michael M. Lee , Indrajit Roy , Alvin Auyoung , Vanish Talwar , K. R. Jayaram , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.287-306, ⟨10.1007/978-3-642-45065-5_15⟩
Conference papers hal-01480781v1
Image document

Peer-to-Peer Keyword Search: A Retrospective

 Patrick Reynolds , Amin Vahdat
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.485-496, ⟨10.1007/978-3-642-45065-5_25⟩
Conference papers hal-01480789v1
Image document

Challenges for Dynamic Analysis of iOS Applications

 Martin Szydlowski , Manuel Egele , Christopher Kruegel , Giovanni Vigna
International Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.65-77, ⟨10.1007/978-3-642-27585-2_6⟩
Conference papers hal-01481507v1

Advances in Software Engineering Techniques

 David Hutchison , Takeo Kanade , Josef Kittler , Jon M. Kleinberg , Friedemann Mattern , et al.
Springer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Books hal-01527391v1
Image document

Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments

 Luciano Bononi , Wooseong Kim , Andreas J. Kassler , Marco Di Felice , Mario Gerla
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.398-409, ⟨10.1007/978-3-642-21560-5_33⟩
Conference papers hal-01583638v1
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

Virtualized Controller Placement for Multi-domain Optical Transport Networks

 Sabidur Rahman , Tanjila Ahmed , Sifat Ferdousi , Partha Bhaumik , Pulak Chowdhury , et al.
23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.39-50, ⟨10.1007/978-3-030-38085-4_4⟩
Conference papers hal-03200672v1
Image document

Watermark Resynchronization: An Efficient Approach Based on Eulerian Tours around a Robust Skeleton

 Konstantinos Raftopoulos , Klimis Ntalianis , Paraskevi Tzouveli , Nicolas Tsapatsoulis , Aleatha Parker-Wood , et al.
14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.211-214, ⟨10.1007/978-3-642-40779-6_21⟩
Conference papers hal-01492826v1
Image document

Timely Dataflow: A Model

 Martín Abadi , Michael Isard
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.131-145, ⟨10.1007/978-3-319-19195-9_9⟩
Conference papers hal-01767326v1
Image document

Analyzing Interactions of Asynchronously Communicating Software Components

 Tevfik Bultan
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.1-4, ⟨10.1007/978-3-642-38592-6_1⟩
Conference papers hal-01515245v1
Image document

Automatically Generating Symbolic Prefetches for Distributed Transactional Memories

 Alokika Dash , Brian Demsky
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.355-375, ⟨10.1007/978-3-642-16955-7_18⟩
Conference papers hal-01055276v1
Image document

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

 Viorel Preoteasa , Iulia Dragomir , Stavros Tripakis
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers hal-01658411v1
Image document

State Grammars with Stores

 Oscar H. Ibarra , Ian Mcquillan
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.163-174, ⟨10.1007/978-3-319-94631-3_14⟩
Conference papers hal-01905629v1
Image document

A Close Look at Multi-tenant Parallel CNN Inference for Autonomous Driving

 Yitong Huang , Yu Zhang , Boyuan Feng , Xing Guo , Yanyong Zhang , et al.
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.92-104, ⟨10.1007/978-3-030-79478-1_8⟩
Conference papers hal-03768759v1
Image document

Performance Evaluation with Hidden Markov Models

 E. De Souza E Silva , R. Leão , Richard R. Muntz
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.112-128, ⟨10.1007/978-3-642-25575-5_10⟩
Conference papers hal-01586903v1
Image document

FaReCast: Fast, Reliable Application Layer Multicast for Flash Dissemination

 Kyungbaek Kim , Sharad Mehrotra , Nalini Venkatasubramanian
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.169-190, ⟨10.1007/978-3-642-16955-7_9⟩
Conference papers hal-01055266v1
Image document

Giga-Scale Multiresolution Volume Rendering on Distributed Display Clusters

 Sebastian Thelen , Joerg Meyer , Achim Ebert , Hans Hagen
2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.142-162, ⟨10.1007/978-3-642-19641-6_10⟩
Conference papers hal-01572649v1
Image document

The Whodunit Challenge: Mobilizing the Crowd in India

 Aditya Vashistha , Rajan Vaish , Edward Cutrell , William Thies
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.505-521, ⟨10.1007/978-3-319-22668-2_39⟩
Conference papers hal-01599880v1
Image document

XML Conversion of the Windows Registry for Forensic Processing and Distribution

 Alex Nelson
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.51-65, ⟨10.1007/978-3-642-33962-2_4⟩
Conference papers hal-01523700v1
Page :