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

Filter your results

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

Designing with Dementia: Guidelines for Participatory Design together with Persons with Dementia

 Niels Hendriks , Frederik Truyen , Erik Duval
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.649-666, ⟨10.1007/978-3-642-40483-2_46⟩
Conference papers hal-01497469v1
Image document

Cyber Threats Monitoring: Experimental Analysis of Malware Behavior in Cyberspace

 Clara Maria Colombini , Antonio Colella , Marco Mattiucci , Aniello Castiglione
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.236-252
Conference papers hal-01506705v1
Image document

Sustainability at Home: An Exploratory Study on Monitoring Needs and Energy Management Actions of Solar Power Producers

 Dounia Lahoual , Myriam Fréjus
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.125-132, ⟨10.1007/978-3-642-40498-6_9⟩
Conference papers hal-01510501v1
Image document

The Bigger Picture: The Use of Mobile Photos in Shopping

 Maryam Tohidi , Andrew Warr
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.764-771, ⟨10.1007/978-3-642-40498-6_71⟩
Conference papers hal-01510529v1
Image document

On Users’ Preference on Localized vs. Latin-Based CAPTCHA Challenges

 Christos Fidas , Artemios G. Voyiatzis
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.358-365, ⟨10.1007/978-3-642-40498-6_28⟩
Conference papers hal-01510537v1
Image document

Model Checking Distributed Systems against Temporal-Epistemic Specifications

 Andreas Griesmayer , Alessio Lomuscio
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.130-145, ⟨10.1007/978-3-642-38592-6_10⟩
Conference papers hal-01515241v1
Image document

Lintent: Towards Security Type-Checking of Android Applications

 Michele Bugliesi , Stefano Calzavara , Alvise Spanò
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.289-304, ⟨10.1007/978-3-642-38592-6_20⟩
Conference papers hal-01515252v1
Image document

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks

 Luca Battisti , Damiano Macedonio , Massimo Merro
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.168-182, ⟨10.1007/978-3-642-40213-5_11⟩
Conference papers hal-01514659v1
Image document

New Ciphertext-Policy Attribute-Based Access Control with Efficient Revocation

 Xingxing Xie , Hua Ma , Jin Li , Xiaofeng Chen
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.373-382, ⟨10.1007/978-3-642-36818-9_41⟩
Conference papers hal-01480196v1
Image document

Provably Secure and Subliminal-Free Variant of Schnorr Signature

 Yinghui Zhang , Hui Li , Xiaoqing Li , Hui Zhu
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.383-391, ⟨10.1007/978-3-642-36818-9_42⟩
Conference papers hal-01480197v1
Image document

A Virtual Network Embedding Algorithm Based on Graph Theory

 Zhenxi Sun , Yuebin Bai , Songyang Wang , Yang Cao , Shubin Xu
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.1-12, ⟨10.1007/978-3-642-40820-5_1⟩
Conference papers hal-01513758v1
Image document

Computer-Supported Work in Partially Distributed and Co-located Teams: The Influence of Mood Feedback

 Andreas Sonderegger , Denis Lalanne , Luisa Bergholz , Fabien Ringeval , Juergen Sauer
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.445-460, ⟨10.1007/978-3-642-40480-1_30⟩
Conference papers hal-01501763v1
Image document

MetaExtractor: A System for Metadata Extraction from Structured Data Sources

 Alexandra Pomares-Quimbaya , Miguel Eduardo Torres-Moreno , Fabián Roldán
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.84-99
Conference papers hal-01506797v1
Image document

Speeding Up the Fixed-Base Comb Method for Faster Scalar Multiplication on Koblitz Curves

 Christian Hanser , Christian Wagner
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.168-179
Conference papers hal-01506561v1
Image document

Identification of Persons by Virtue of Hand Geometry

 Anna Plichta , Tomasz Gaciarz , Szymon Szomiński
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.36-46, ⟨10.1007/978-3-642-40925-7_4⟩
Conference papers hal-01496097v1
Image document

Bounded Model Checking of Graph Transformation Systems via SMT Solving

 Tobias Isenberg , Dominik Steenken , Heike Wehrheim
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.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers hal-01515236v1
Image document

Truly Useful 3D Drawing System for Professional Designer by “Life-Sized and Operable” Feature and New Interaction

 Shun’ichi Tano , Shinya Yamamoto , Junko Ichino , Tomonori Hashiyama , Mitsuru Iwata
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.37-55, ⟨10.1007/978-3-642-40483-2_3⟩
Conference papers hal-01497462v1
Image document

GPRS Security for Smart Meters

 Martin Gilje Jaatun , Inger Anne Tøndel , Geir M. Køien
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.195-207
Conference papers hal-01506796v1
Image document

Online Political Debate: Motivating Factors and Impact on Political Engagement

 Asbjørn Følstad , Marika Lüders
5th International Conference on Electronic Participation (ePart), Sep 2013, Koblenz, Germany. pp.122-133, ⟨10.1007/978-3-642-40346-0_11⟩
Conference papers hal-01491249v1
Image document

Dynamic Resource Operation and Power Model for IP-over-WSON Networks

 Uwe Bauknecht , Frank Feller
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.1-12, ⟨10.1007/978-3-642-40552-5_1⟩
Conference papers hal-01497018v1
Image document

Atmosphere: A Universal Cross-Cloud Communication Infrastructure

 Chamikara Jayalath , Julian James Stephen , Patrick Eugster
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.163-182, ⟨10.1007/978-3-642-45065-5_9⟩
Conference papers hal-01480796v1
Image document

Application of Combined Classifiers to Data Stream Classification

 Michał Woźniak
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.13-23, ⟨10.1007/978-3-642-40925-7_2⟩
Conference papers hal-01496078v1
Image document

Artificial Neural Networks as Tools for Controlling Production Systems and Ensuring Their Stability

 Anna Burduk
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.487-498, ⟨10.1007/978-3-642-40925-7_45⟩
Conference papers hal-01496094v1
Image document

Activity Theory as a Tool for Identifying Design Patterns in Cross-Modal Collaborative Interaction

 Oussama Metatla , Nick Bryan-Kinns , Tony Stockman , Fiore Martin
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.232-240, ⟨10.1007/978-3-642-40477-1_14⟩
Conference papers hal-01504886v1
Image document

One-to-One Disjoint Path Covers in DCell

 Xi Wang , Jianxi Fan , Baolei Cheng , Wenjun Liu , Yan Wang
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.61-70, ⟨10.1007/978-3-642-40820-5_6⟩
Conference papers hal-01513760v1
Image document

On the Effects of Omitting Information Exchange between Autonomous Resource Management Agents

 Siri Fagernes , Alva L. Couch
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.112-123, ⟨10.1007/978-3-642-38998-6_15⟩
Conference papers hal-01489961v1
Image document

Modeling the German Legal Latitude Principles

 Stephan Neumann , Anna Kahlert , Maria Henning , Philipp Richter , Hugo Jonker , et al.
5th International Conference on Electronic Participation (ePart), Sep 2013, Koblenz, Germany. pp.49-56, ⟨10.1007/978-3-642-40346-0_5⟩
Conference papers hal-01491259v1
Image document

A Practical Solution against Corrupted Parties and Coercers in Electronic Voting Protocol over the Network

 Thi Thao Nguyen , Tran Khanh Dang
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.11-20, ⟨10.1007/978-3-642-36818-9_2⟩
Conference papers hal-01480235v1
Image document

Scalable-Grain Pipeline Parallelization Method for Multi-core Systems

 Peng Liu , Chunming Huang , Jun Guo , Yang Geng , Weidong Wang , et al.
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.269-283, ⟨10.1007/978-3-642-40820-5_23⟩
Conference papers hal-01513778v1
Image document

Shifting Primes on OpenRISC Processors with Hardware Multiplier

 Leandro Marin , Antonio J. Jara , Antonio Skarmeta
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.540-549, ⟨10.1007/978-3-642-36818-9_63⟩
Conference papers hal-01480261v1
Page :