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

Filter your results

760 results
Deposit type : Notice
Deposit type : Fulltext
Page :
sorted by
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
Image document

A Publish-Subscribe Scheme Based Open Architecture for Crowd-Sourcing

 Róbert L. Szabó , Károly Farkas
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.287-291, ⟨10.1007/978-3-642-40552-5_27⟩
Conference papers hal-01497025v1
Image document

Conditional Diagnosability of Complete Josephus Cubes

 Lishan Lu , Shuming Zhou
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.220-231, ⟨10.1007/978-3-642-40820-5_19⟩
Conference papers hal-01513769v1
Image document

A Framework for Robust Traffic Engineering Using Evolutionary Computation

 Vitor Pereira , Miguel Rocha , Paulo Cortez , Miguel Rio , Pedro Sousa
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.1-12, ⟨10.1007/978-3-642-38998-6_1⟩
Conference papers hal-01489965v1

Peripheral Interaction: Embedding HCI in Everyday Life

 Doris Hausen , Saskia Bakker , Elise van den Hoven
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.782
Conference papers hal-01513900v1
Image document

Cloud-Based E-Learning: A Proposed Model and Benefits by Using E-Learning Based on Cloud Computing for Educational Institution

 Nungki Selviandro , Zainal Arifin Hasibuan
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.192-201, ⟨10.1007/978-3-642-36818-9_20⟩
Conference papers hal-01480175v1
Image document

Estimation of Precipitable Water Vapor Using an Adaptive Neuro-fuzzy Inference System Technique

 Wayan Suparta , Kemal Maulana Alhasa
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.214-222, ⟨10.1007/978-3-642-36818-9_22⟩
Conference papers hal-01480177v1
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

Semantic-Aware Obfuscation for Location Privacy at Database Level

 Thu Bao Le , Tran Khanh Dang
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.111-120, ⟨10.1007/978-3-642-36818-9_12⟩
Conference papers hal-01480225v1
Image document

A Variant of Non-Adaptive Group Testing and Its Application in Pay-Television via Internet

 Thach V. Bui , Oanh K. Nguyen , Van H. Dang , Nhung H. Nguyen , Thuc D. Nguyen
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.324-330, ⟨10.1007/978-3-642-36818-9_35⟩
Conference papers hal-01480238v1
Image document

Managing User Experience – Managing Change

 Job Mashapa , Edna Chelule , Darelle Van Greunen , Alida Veldsman
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.660-677, ⟨10.1007/978-3-642-40480-1_46⟩
Conference papers hal-01501780v1
Image document

Understanding the Impact of Network Infrastructure Changes Using Large-Scale Measurement Platforms

 Vaibhav Bajpai , Jürgen Schönwälder
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.41-44, ⟨10.1007/978-3-642-38998-6_5⟩
Conference papers hal-01489968v1
Image document

Using Video Prototypes for Evaluating Design Concepts with Users: A Comparison to Usability Testing

 Matthijs Zwinderman , Rinze Leenheer , Azadeh Shirzad , Nikolay Chupriyanov , Glenn Veugen , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.774-781, ⟨10.1007/978-3-642-40480-1_55⟩
Conference papers hal-01501788v1
Image document

Parameterized Verification of Track Topology Aggregation Protocols

 Sergio Feo-Arenis , Bernd Westphal
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.35-49, ⟨10.1007/978-3-642-38592-6_4⟩
Conference papers hal-01515244v1
Image document

Improving Evaluation Honesty and User Experience in E-learning by Increasing Evaluation Cost and Social Presence

 Juha Leino , Tomi Heimonen
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.597-615, ⟨10.1007/978-3-642-40480-1_42⟩
Conference papers hal-01501776v1
Page :