Filter your results
- 1743
- 54
- 15
- 1740
- 1
- 1
- 1
- 1741
- 252
- 5
- 2
- 1
- 1
- 29
- 22
- 20
- 20
- 1743
- 1743
- 19
- 16
- 11
- 10
- 8
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
Sustainability at Home: An Exploratory Study on Monitoring Needs and Energy Management Actions of Solar Power Producers14th 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
|
||
|
The Bigger Picture: The Use of Mobile Photos in Shopping14th 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
|
||
|
On Users’ Preference on Localized vs. Latin-Based CAPTCHA Challenges14th 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
|
||
|
Technical Components and Requirements Model for Supporting Collaboration in the Product Technology Transfer Process14th 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
|
||
|
Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties5th 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
|
||
|
Model Checking Distributed Systems against Temporal-Epistemic Specifications15th 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
|
||
|
Lintent: Towards Security Type-Checking of Android Applications15th 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
|
||
|
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks5th 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
|
||
|
Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.171-180, ⟨10.1007/978-3-642-38853-8_16⟩
Conference papers
hal-01466671v1
|
||
|
Research on the Construction and Implementation of Soil Fertility Knowledge Based on Ontology7th 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
|
||
|
Analyzing the Centralised Use of Multiple Social Media by Government from Innovations Diffusion Theory Perspective5th 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
|
||
|
Atmosphere: A Universal Cross-Cloud Communication Infrastructure14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.163-182, ⟨10.1007/978-3-642-45065-5_9⟩
Conference papers
hal-01480796v1
|
||
|
History of Computer Science as an Instrument of EnlightenmentInternational 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
|
||
|
Unconditionally Secure Fully Connected Key Establishment Using Deployment Knowledge1st 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
|
||
|
Concept by Concept Learning of Fuzzy Cognitive Maps9th 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
|
||
|
Crime Open Data Aggregation and Management for the Design of Safer Spaces in Urban Environments10th 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
|
||
|
SVOD – System for Visualizing of Oncological Data and Their Semantic Enhancement10th 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
|
||
|
Pedestrian Localization in Closed Environments10th 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
|
||
|
Modeling the Transformation of Application Landscapes6th 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
|
||
|
The Success of Google Search, the Failure of Google Health and the Future of Google PlusInternationalWorking 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
|
||
|
Assessment of Process Robustness for Mass Customization20th 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
|
||
|
Closed Loop Supply Chains for Sustainable Mass Customization20th 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
|
||
|
Artificial Neural Networks as Tools for Controlling Production Systems and Ensuring Their Stability12th 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
|
||
|
Computer-Supported Work in Partially Distributed and Co-located Teams: The Influence of Mood Feedback14th 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
|
||
|
Application of Combined Classifiers to Data Stream Classification12th 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
|
||
|
Online Political Debate: Motivating Factors and Impact on Political Engagement5th 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
|
||
|
Speeding Up the Fixed-Base Comb Method for Faster Scalar Multiplication on Koblitz Curves1st 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
|
||
|
The Service-Dominant Ecosystem: Mapping a Service Dominant Strategy to a Product-Service Ecosystem14th 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
|
||
|
Comparative Process Mining in Education: An Approach Based on Process Cubes3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Aug 2013, Riva del Garda, Italy. pp.110-134
Conference papers
hal-01746404v1
|
||
|
Extending EMV Payment Smart Cards with Biometric On-Card Verification3rd 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
|