Filter your results
- 533
- 24
- 533
- 532
- 119
- 1
- 37
- 40
- 493
- 533
- 5
- 3
- 3
- 3
- 3
- 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
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
|
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.73-87, ⟨10.1007/978-3-319-72044-9_6⟩
Conference papers
hal-01767464v1
|
||
|
|
The Complexity of Languages Resulting from the Concatenation Operation18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.153-167, ⟨10.1007/978-3-319-41114-9_12⟩
Conference papers
hal-01633946v1
|
||
|
|
A Configurable CEGAR Framework with Interpolation-Based Refinements36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.158-174, ⟨10.1007/978-3-319-39570-8_11⟩
Conference papers
hal-01432916v1
|
||
|
|
Inter-ReBAC: Inter-operation of Relationship-Based Access Control Model Instances30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.96-105, ⟨10.1007/978-3-319-41483-6_7⟩
Conference papers
hal-01633675v1
|
||
|
|
An Efficient Construction of a Compression Function for Cryptographic HashInternational Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.124-140, ⟨10.1007/978-3-319-45507-5_9⟩
Conference papers
hal-01635014v1
|
||
|
|
Predicting People’s Intention Towards Sharing Political Contents in Social Media: The Moderating Effect of Collective Opinion15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.646-657, ⟨10.1007/978-3-319-45234-0_58⟩
Conference papers
hal-01702193v1
|
||
|
|
Endev: Declarative Prototyping with Data6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.359-365, ⟨10.1007/978-3-319-44902-9_23⟩
Conference papers
hal-01647720v1
|
||
|
|
Cross-Context Linking Concepts Discovery in E-Government Literature5th International Conference on Electronic Government and the Information Systems Perspective (EGOV), Sep 2016, Porto, Portugal. pp.19-30, ⟨10.1007/978-3-319-44421-5_2⟩
Conference papers
hal-01636448v1
|
||
|
|
Are Software Developers Just Users of Development Tools? Assessing Developer Experience of a Graphical User Interface Designer6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.215-233, ⟨10.1007/978-3-319-44902-9_14⟩
Conference papers
hal-01647699v1
|
||
|
|
Breaking Anonymity of Social Network Accounts by Using Coordinated and Extensible Classifiers Based on Machine Learning15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.455-470, ⟨10.1007/978-3-319-45234-0_41⟩
Conference papers
hal-01702149v1
|
||
|
|
Consumer Intentions on Social Media: A fsQCA Analysis of Motivations15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.371-386, ⟨10.1007/978-3-319-45234-0_34⟩
Conference papers
hal-01702203v1
|
||
|
|
Assessment of Flood Vulnerability Using Fuzzy Logic and Geographical Information Systems1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.254-265, ⟨10.1007/978-3-319-68486-4_20⟩
Conference papers
hal-03213127v1
|
||
|
|
A Study on Fuzzy Cognitive Map Optimization Using Metaheuristics15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.577-588, ⟨10.1007/978-3-319-45378-1_51⟩
Conference papers
hal-01637479v1
|
||
|
|
Attribute Grammars for Controlling House Layout Customization15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.707-719, ⟨10.1007/978-3-319-45378-1_61⟩
Conference papers
hal-01637489v1
|
||
|
|
How Playstyles Evolve: Progression Analysis and Profiling in Just Cause 215th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.90-101, ⟨10.1007/978-3-319-46100-7_8⟩
Conference papers
hal-01640296v1
|
||
|
|
A Short Survey on Using Software Error Localization for Service Compositions5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.248-262, ⟨10.1007/978-3-319-44482-6_16⟩
Conference papers
hal-01638583v1
|
||
|
|
Combining Third Party Components Securely in Automotive Systems10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.262-269, ⟨10.1007/978-3-319-45931-8_18⟩
Conference papers
hal-01639623v1
|
||
|
|
Scalability and Information Exchange Among Autonomous Resource Management Agents10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.160-164, ⟨10.1007/978-3-319-39814-3_18⟩
Conference papers
hal-01632749v1
|
||
|
|
Integrating Digital Migrants: Solutions for Cross-Border Identification from E-Residency to eIDAS. A Case Study from Estonia5th International Conference on Electronic Government and the Information Systems Perspective (EGOV), Sep 2016, Porto, Portugal. pp.151-163, ⟨10.1007/978-3-319-44421-5_12⟩
Conference papers
hal-01636451v1
|
||
|
|
Providing CUDA Acceleration to KVM Virtual Machines in InfiniBand Clusters with rCUDA16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.82-95, ⟨10.1007/978-3-319-39577-7_7⟩
Conference papers
hal-01434802v1
|
||
|
|
Provable Network Activity for Protecting Users Against False Accusation10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.254-261, ⟨10.1007/978-3-319-45931-8_17⟩
Conference papers
hal-01639610v1
|
||
|
|
On Determination of Balance Ratio for Some Tree Structures13th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2016, Xi'an, China. pp.205-212, ⟨10.1007/978-3-319-47099-3_17⟩
Conference papers
hal-01647999v1
|
||
|
|
Unary Self-verifying Symmetric Difference Automata18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.180-191, ⟨10.1007/978-3-319-41114-9_14⟩
Conference papers
hal-01633957v1
|
||
|
|
A Comparison of Logical-Formula and Enumerated Authorization Policy ABAC Models30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.122-129, ⟨10.1007/978-3-319-41483-6_9⟩
Conference papers
hal-01633664v1
|
||
|
|
Data Aware Communication for Energy Harvesting Sensor Networks14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.121-132, ⟨10.1007/978-3-319-33936-8_10⟩
Conference papers
hal-01434847v1
|
||
|
|
On the Logic of Generalised Metric Spaces13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.136-155, ⟨10.1007/978-3-319-40370-0_9⟩
Conference papers
hal-01446037v1
|
||
|
|
A Forensic Methodology for Analyzing Nintendo 3DS Devices12th IFIP International Conference on Digital Forensics (DF), Jan 2016, New Delhi, India. pp.127-143, ⟨10.1007/978-3-319-46279-0_7⟩
Conference papers
hal-01758689v1
|
||
|
|
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering6th International Conference on Human-Centred Software Engineering (HCSE 2016), Aug 2016, Stockholm, Sweden. pp.261-280, ⟨10.1007/978-3-319-44902-9_17⟩
Conference papers
hal-01647713v1
|
||
|
|
Complex Adaptive Systems and Interactive Granular Computing15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.17-22, ⟨10.1007/978-3-319-45378-1_2⟩
Conference papers
hal-01637517v1
|
||
|
|
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.61-76, ⟨10.1007/978-3-319-68486-4_6⟩
Conference papers
hal-03213130v1
|