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
|
|
‘Unofficial’ Presence of Higher Education Institutions in India on Social Media: Good or Bad?15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.701-706, ⟨10.1007/978-3-319-45234-0_63⟩
Conference papers
hal-01702165v1
|
||
|
|
A Blockcipher Based Authentication EncryptionInternational Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.106-123, ⟨10.1007/978-3-319-45507-5_8⟩
Conference papers
hal-01635006v1
|
||
|
|
A Brief Tour of Theoretical Tile Self-Assembly22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.26-31, ⟨10.1007/978-3-319-39300-1_3⟩
Conference papers
hal-01435031v1
|
||
|
|
A Calculus of Virtually Timed Ambients23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.88-103, ⟨10.1007/978-3-319-72044-9_7⟩
Conference papers
hal-01767462v1
|
||
|
|
A Cloud-Based Prediction Framework for Analyzing Business Process PerformancesInternational Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.63-80, ⟨10.1007/978-3-319-45507-5_5⟩
Conference papers
hal-01635015v1
|
||
|
|
A Collaborative Video Download Application Based on Wi-Fi Direct14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.147-158, ⟨10.1007/978-3-319-33936-8_12⟩
Conference papers
hal-01434849v1
|
||
|
|
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.70-85, ⟨10.1007/978-3-319-47443-4_5⟩
Conference papers
hal-01643723v1
|
||
|
|
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
|
||
|
|
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.156-173, ⟨10.1007/978-3-319-40370-0_10⟩
Conference papers
hal-01446025v1
|
||
|
|
A Comprehensive Decision Support System for Enhanced Emergency Decision Management and Training1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.183-197, ⟨10.1007/978-3-319-68486-4_15⟩
Conference papers
hal-03213118v1
|
||
|
|
A Conceptual Review of Social Media Adoption in SMEs15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.240-250, ⟨10.1007/978-3-319-45234-0_22⟩
Conference papers
hal-01702176v1
|
||
|
|
A Conceptual UX-Aware Model of Requirements6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.234-245, ⟨10.1007/978-3-319-44902-9_15⟩
Conference papers
hal-01647705v1
|
||
|
|
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
|
||
|
|
A Core Ontology of Safety Risk Concepts6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.165-180, ⟨10.1007/978-3-319-44902-9_11⟩
Conference papers
hal-01647717v1
|
||
|
|
A Fast and Better Hybrid Recommender System Based on Spark13th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2016, Xi'an, China. pp.147-159, ⟨10.1007/978-3-319-47099-3_12⟩
Conference papers
hal-01648005v1
|
||
|
|
A Fault-Tolerant Authenticated Key-Conference Agreement Protocol with Forward Secrecy15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.647-660, ⟨10.1007/978-3-319-45378-1_56⟩
Conference papers
hal-01637470v1
|
||
|
|
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
|
||
|
|
A Formal Analysis of the Global Sequence Protocol18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.175-191, ⟨10.1007/978-3-319-39519-7_11⟩
Conference papers
hal-01631716v1
|
||
|
|
A Framework for Assessing the Core Capabilities of a Digital Forensic Organization12th IFIP International Conference on Digital Forensics (DF), Jan 2016, New Delhi, India. pp.47-65, ⟨10.1007/978-3-319-46279-0_3⟩
Conference papers
hal-01758676v1
|
||
|
|
A Framework for Certified Self-Stabilization36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.36-51, ⟨10.1007/978-3-319-39570-8_3⟩
Conference papers
hal-01432926v1
|
||
|
|
A Framework for Publish/Subscribe Protocol Transitions in Mobile Crowds10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.16-29, ⟨10.1007/978-3-319-39814-3_2⟩
Conference papers
hal-01632731v1
|
||
|
|
A Game Interpretation of Retractable Contracts18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.18-34, ⟨10.1007/978-3-319-39519-7_2⟩
Conference papers
hal-01631714v1
|
||
|
|
A Goodness Based Vertical Handoff Algorithm for Heterogeneous Networks14th International Conference on Wired/Wireless Internet Communication (WWIC), May 2016, Thessaloniki, Greece. pp.254-267, ⟨10.1007/978-3-319-33936-8_20⟩
Conference papers
hal-01434857v1
|
||
|
|
A Grammar-Based Framework for Rehabilitation Exergames15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.38-50, ⟨10.1007/978-3-319-46100-7_4⟩
Conference papers
hal-01640271v1
|
||
|
|
A Hybrid Game Contents Streaming Method: Improving Graphic Quality Delivered on Cloud Gaming15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.149-160, ⟨10.1007/978-3-319-46100-7_13⟩
Conference papers
hal-01640289v1
|
||
|
|
A Metamodel for the E-Participation Reference Framework8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.3-16, ⟨10.1007/978-3-319-45074-2_1⟩
Conference papers
hal-01637226v1
|
||
|
|
A Multimodal Biometric User Identification System Based on Keystroke Dynamics and Mouse Movements15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.672-681, ⟨10.1007/978-3-319-45378-1_58⟩
Conference papers
hal-01637458v1
|
||
|
|
A New Path for the Public Sector: How to Design a Co-created Strategy in Higher Education8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.29-40, ⟨10.1007/978-3-319-45074-2_3⟩
Conference papers
hal-01637229v1
|
||
|
|
A Peer-to-Peer Protocol and System Architecture for Privacy-Preserving Statistical AnalysisInternational Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.236-250, ⟨10.1007/978-3-319-45507-5_16⟩
Conference papers
hal-01635009v1
|
||
|
|
A Performance Evaluation of Erasure Coding Libraries for Cloud-Based Data Stores16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.160-173, ⟨10.1007/978-3-319-39577-7_13⟩
Conference papers
hal-01434792v1
|