Filter your results
- 731
- 25
- 729
- 2
- 730
- 130
- 1
- 1
- 16
- 27
- 688
- 731
- 7
- 6
- 6
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 16
- 9
- 7
- 6
- 5
- 5
- 5
- 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
- 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
|
|
Comparing Two Approaches of Tactile Zooming on a Large Pin-Matrix Device16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.173-186, ⟨10.1007/978-3-319-67744-6_11⟩
Conference papers
hal-01676167v1
|
||
|
|
A Formal Model for Multi SPLs7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.67-83, ⟨10.1007/978-3-319-68972-2_5⟩
Conference papers
hal-01760853v1
|
||
|
|
Cryptographically Enforced Role-Based Access Control for NoSQL Distributed Databases31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.3-19, ⟨10.1007/978-3-319-61176-1_1⟩
Conference papers
hal-01684347v1
|
||
|
|
Value-Based Decision Making: Decision Theory Meets e-Government16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.351-358, ⟨10.1007/978-3-319-64677-0_29⟩
Conference papers
hal-01702979v1
|
||
|
|
State Complexity of Suffix Distance19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.287-298, ⟨10.1007/978-3-319-60252-3_23⟩
Conference papers
hal-01656995v1
|
||
|
|
On the Average Complexity of Strong Star Normal Form19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.77-88, ⟨10.1007/978-3-319-60252-3_6⟩
Conference papers
hal-01657014v1
|
||
|
|
Distributed NVRAM Cache – Optimization and Evaluation with Power of Adjacency Matrix16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.15-26, ⟨10.1007/978-3-319-59105-6_2⟩
Conference papers
hal-01656233v1
|
||
|
|
Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.526-535, ⟨10.1007/978-3-319-59105-6_45⟩
Conference papers
hal-01656236v1
|
||
|
|
Share Market Sectoral Indices Movement Forecast with Lagged Correlation and Association Rule Mining16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.327-340, ⟨10.1007/978-3-319-59105-6_28⟩
Conference papers
hal-01656264v1
|
||
|
|
Assessing the Potential of IoT in Aerospace16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.107-121, ⟨10.1007/978-3-319-68557-1_11⟩
Conference papers
hal-01768513v1
|
||
|
|
Experiences from Assistive Technology Services and Their Delivery in Finland16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.16-22, ⟨10.1007/978-3-319-68557-1_2⟩
Conference papers
hal-01768520v1
|
||
|
|
Digital Governance for Sustainable Development16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.85-93, ⟨10.1007/978-3-319-68557-1_9⟩
Conference papers
hal-01768507v1
|
||
|
|
Weak Simulation Quasimetric in a Gossip Scenario37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.139-155, ⟨10.1007/978-3-319-60225-7_10⟩
Conference papers
hal-01658428v1
|
||
|
|
Design for Cultural Heritage – Developing Understanding in Teaching and Practice16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.3-15, ⟨10.1007/978-3-319-92081-8_1⟩
Conference papers
hal-01821421v1
|
||
|
|
Eye Contact: Gaze as a Connector Between Spectators and Players in Online Games16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.310-321, ⟨10.1007/978-3-319-66715-7_34⟩
Conference papers
hal-01771291v1
|
||
|
|
e2-Mask: Design and Implementation of a Mask-Type Display to Support Face-to-Face Communication16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.88-93, ⟨10.1007/978-3-319-66715-7_10⟩
Conference papers
hal-01771294v1
|
||
|
|
How Can Adding a Movement Improve Target Acquisition Efficacy?16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.496-514, ⟨10.1007/978-3-319-67687-6_34⟩
Conference papers
hal-01717196v1
|
||
|
|
Investigating Notifications and Awareness for Multi-user Multi-touch Tabletop Displays16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.223-244, ⟨10.1007/978-3-319-67687-6_15⟩
Conference papers
hal-01717197v1
|
||
|
|
A Model for Digital Evidence Admissibility Assessment13th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2017, Orlando, FL, United States. pp.23-38, ⟨10.1007/978-3-319-67208-3_2⟩
Conference papers
hal-01716394v1
|
||
|
|
Leveraging Conversational Systems to Assists New Hires During Onboarding16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.381-391, ⟨10.1007/978-3-319-67684-5_23⟩
Conference papers
hal-01678485v1
|
||
|
|
Watching Your Back While Riding Your Bike16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.315-323, ⟨10.1007/978-3-319-67684-5_19⟩
Conference papers
hal-01678496v1
|
||
|
|
Tracking the Evolution of OGD Portals: A Maturity Model16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.287-300, ⟨10.1007/978-3-319-64677-0_24⟩
Conference papers
hal-01702984v1
|
||
|
|
Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.113-129, ⟨10.1007/978-3-319-93524-9_7⟩
Conference papers
hal-01875515v1
|
||
|
|
Socio-technical HCI for Ethical Value Exchange16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.148-159, ⟨10.1007/978-3-319-92081-8_15⟩
Conference papers
hal-01821413v1
|
||
|
|
A Novel Cryptographic Framework for Cloud File Systems and CryFS, a Provably-Secure Construction31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.409-429, ⟨10.1007/978-3-319-61176-1_23⟩
Conference papers
hal-01684369v1
|
||
|
|
The Fallout of Key Compromise in a Proxy-Mediated Key Agreement Protocol31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.453-472, ⟨10.1007/978-3-319-61176-1_25⟩
Conference papers
hal-01684370v1
|
||
|
|
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.333-339, ⟨10.1007/978-3-319-67549-7_22⟩
Conference papers
hal-01678992v1
|
||
|
|
From Minutes of Meeting to ‘Memories of Meeting’16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.364-367, ⟨10.1007/978-3-319-68059-0_31⟩
Conference papers
hal-01679804v1
|
||
|
|
Understanding the Informal Support Networks of Older Adults in India16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.509-512, ⟨10.1007/978-3-319-68059-0_62⟩
Conference papers
hal-01679822v1
|
||
|
|
Design Guidelines for Exploring Relationships in a Connected Big Data Environment16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.348-351, ⟨10.1007/978-3-319-68059-0_27⟩
Conference papers
hal-01679824v1
|