Search - IFIP Open Digital Library Access content directly

Filter your results

1 743 Results
Deposit type : Fulltext
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

Technical Components and Requirements Model for Supporting Collaboration in the Product Technology Transfer Process

Juliana Sayuri Kurumoto , Fábio Müller Guerrini
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.228-235, ⟨10.1007/978-3-642-40543-3_25⟩
Conference papers hal-01463213v1
Image document

Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties

Dimitris Vekris , Catalin Dima
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.133-149, ⟨10.1007/978-3-642-40213-5_9⟩
Conference papers hal-01514655v1
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

Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration

Yuki Ando , Seiya Shibata , Shinya Honda , Hiroyuki Tomiyama , Hiroaki Takada
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.171-180, ⟨10.1007/978-3-642-38853-8_16⟩
Conference papers hal-01466671v1
Image document

Research on the Construction and Implementation of Soil Fertility Knowledge Based on Ontology

Li Ma , Helong Yu , Guifen Chen , Liying Cao , Yue Wang
7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. pp.138-144, ⟨10.1007/978-3-642-54341-8_14⟩
Conference papers hal-01220822v1
Image document

Analyzing the Centralised Use of Multiple Social Media by Government from Innovations Diffusion Theory Perspective

Enrico Ferro , Euripidis Loukis , Yannis Charalabidis , Michele Osella
5th International Conference on Electronic Participation (ePart), Sep 2013, Koblenz, Germany. pp.95-108, ⟨10.1007/978-3-642-40346-0_9⟩
Conference papers hal-01491260v1
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

History of Computer Science as an Instrument of Enlightenment

Yakov Fet
International Conference on History of Computing (HC), Jun 2013, London, United Kingdom. pp.207-212, ⟨10.1007/978-3-642-41650-7_19⟩
Conference papers hal-01455252v1
Image document

Unconditionally Secure Fully Connected Key Establishment Using Deployment Knowledge

Sarbari Mitra , Sourav Mukhopadhyay , Ratna Dutta
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.496-501, ⟨10.1007/978-3-642-36818-9_56⟩
Conference papers hal-01480209v1
Image document

Concept by Concept Learning of Fuzzy Cognitive Maps

M. Furkan Dodurka , Engin Yesil , Cihan Ozturk , Ahmet Sakalli , Cagri Guzay
9th Artificial Intelligence Applications and Innovations (AIAI), Sep 2013, Paphos, Greece. pp.577-586, ⟨10.1007/978-3-642-41142-7_58⟩
Conference papers hal-01459649v1
Image document

Crime Open Data Aggregation and Management for the Design of Safer Spaces in Urban Environments

Antonios Bonatsos , Lee Middleton , Panos Melas , Zoheir Sabeur
10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.311-320, ⟨10.1007/978-3-642-41151-9_30⟩
Conference papers hal-01457462v1
Image document

SVOD – System for Visualizing of Oncological Data and Their Semantic Enhancement

Miroslav Kubásek , Jiří Hřebíček , Ladislav Dušek , Jan Mužík , Jiří Kalina
10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.597-607, ⟨10.1007/978-3-642-41151-9_56⟩
Conference papers hal-01457490v1
Image document

Pedestrian Localization in Closed Environments

Jonáš Ševčík
10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.679-687, ⟨10.1007/978-3-642-41151-9_64⟩
Conference papers hal-01457499v1
Image document

Modeling the Transformation of Application Landscapes

Stefan Hofer
6th The Practice of Entrprise Modeling (PoEM), Nov 2013, Riga, Latvia. pp.101-113, ⟨10.1007/978-3-642-41641-5_8⟩
Conference papers hal-01474758v1
Image document

The Success of Google Search, the Failure of Google Health and the Future of Google Plus

Marcel Landeweerd , Ton Spil , Richard Klein
InternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.221-239, ⟨10.1007/978-3-642-38862-0_14⟩
Conference papers hal-01467826v1
Image document

Assessment of Process Robustness for Mass Customization

Kjeld Nielsen , Thomas Ditlev Brunø
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.191-198, ⟨10.1007/978-3-642-41266-0_24⟩
Conference papers hal-01452113v1
Image document

Closed Loop Supply Chains for Sustainable Mass Customization

Kjeld Nielsen , Thomas Ditlev Brunø
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.425-432, ⟨10.1007/978-3-642-41266-0_51⟩
Conference papers hal-01452143v1
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

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

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

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

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

The Service-Dominant Ecosystem: Mapping a Service Dominant Strategy to a Product-Service Ecosystem

Egon Lüftenegger , Marco Comuzzi , Paul Grefen
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.22-30, ⟨10.1007/978-3-642-40543-3_3⟩
Conference papers hal-01463230v1
Image document

Comparative Process Mining in Education: An Approach Based on Process Cubes

Wil Aalst , Shengnan Guo , Pierre Gorissen
3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Aug 2013, Riva del Garda, Italy. pp.110-134
Conference papers hal-01746404v1
Image document

Extending EMV Payment Smart Cards with Biometric On-Card Verification

Olaf Henniger , Dimitar Nikolov
3rd Policies and Research in Identity Management (IDMAN), Apr 2013, London, United Kingdom. pp.121-130, ⟨10.1007/978-3-642-37282-7_12⟩
Conference papers hal-01470496v1