Filter your results
- 443
- 18
- 429
- 14
- 443
- 59
- 1
- 1
- 55
- 388
- 443
- 8
- 5
- 4
- 4
- 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
- 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
- 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
- 6
- 5
- 5
- 4
- 4
- 4
- 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
- 1
- 1
|
Public Funding in Collective Innovations for Public–Private Activities17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.132-143, ⟨10.1007/978-3-319-98690-6_12⟩
Conference papers
hal-01961535v1
|
||
|
Providing Life-Style-Intervention to Improve Well-Being of Elderly People17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.362-367, ⟨10.1007/978-3-319-99426-0_45⟩
Conference papers
hal-02128600v1
|
||
|
Protocol Heterogeneity Issues of Incremental High-Density Wi-Fi DeploymentInternational Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.159-170, ⟨10.1007/978-3-030-02931-9_13⟩
Conference papers
hal-02269714v1
|
||
|
Properties of Right One-Way Jumping Finite Automata20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.11-23, ⟨10.1007/978-3-319-94631-3_2⟩
Conference papers
hal-01905638v1
|
||
|
Probabilistic Event Graph to Model Safety and Security for Diagnosis Purposes32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.38-47, ⟨10.1007/978-3-319-95729-6_3⟩
Conference papers
hal-01954422v1
|
||
|
Private yet Efficient Decision Tree Evaluation32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.243-259, ⟨10.1007/978-3-319-95729-6_16⟩
Conference papers
hal-01954407v1
|
||
|
Privacy-Preserving Planarity Testing of Distributed Graphs32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.131-147, ⟨10.1007/978-3-319-95729-6_9⟩
Conference papers
hal-01954423v1
|
||
|
Preserving Contract Satisfiability Under Non-monotonic Composition38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.181-195, ⟨10.1007/978-3-319-92612-4_10⟩
Conference papers
hal-01824811v1
|
||
|
Preparing a Smart Environment to Decision-Making in Emergency Traffic Control Management3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.12-21, ⟨10.1007/978-3-030-32169-7_2⟩
Conference papers
hal-02799281v1
|
||
|
Prediction-Based Intrusion Detection System for In-Vehicle Networks Using Supervised Learning and Outlier-Detection12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.109-128, ⟨10.1007/978-3-030-20074-9_9⟩
Conference papers
hal-02294610v1
|
||
|
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers
hal-02044640v1
|
||
|
Policy Languages and Their Suitability for Trust Negotiation32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.69-84, ⟨10.1007/978-3-319-95729-6_5⟩
Conference papers
hal-01954417v1
|
||
|
Policy Informatics in the Social Media Era: Analyzing Opinions for Policy Making10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.129-142, ⟨10.1007/978-3-319-98578-7_11⟩
Conference papers
hal-01985609v1
|
||
|
Playing with Empathy Through a Collaborative Storytelling Game17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.254-259, ⟨10.1007/978-3-319-99426-0_26⟩
Conference papers
hal-02128638v1
|
||
|
Playful Information Access Through Virtual Creatures17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.191-197, ⟨10.1007/978-3-319-99426-0_16⟩
Conference papers
hal-02128599v1
|
||
|
Physiological Affect and Performance in a Collaborative Serious Game Between Humans and an Autonomous Robot17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.127-138, ⟨10.1007/978-3-319-99426-0_11⟩
Conference papers
hal-02128637v1
|
||
|
Physical Activity Among Older Adults: A Meta-review of EU-Funded Research Projects17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.374-387, ⟨10.1007/978-3-319-99426-0_47⟩
Conference papers
hal-02128608v1
|
||
|
Perspectives on Accessibility in Digital Games17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.402-406, ⟨10.1007/978-3-319-99426-0_51⟩
Conference papers
hal-02128639v1
|
||
|
Performance Evaluation of Post-quantum Public-Key Cryptography in Smart Mobile Devices17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.67-80, ⟨10.1007/978-3-030-02131-3_9⟩
Conference papers
hal-02274171v1
|
||
|
Participatory Ideation for Gamification: Bringing the User at the Heart of the Gamification Design Process7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.51-61, ⟨10.1007/978-3-030-05909-5_4⟩
Conference papers
hal-02270710v1
|
||
|
Parametric-Decomposition Based Request Routing in Content Delivery NetworksInternational Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.323-335, ⟨10.1007/978-3-030-02931-9_26⟩
Conference papers
hal-02269731v1
|
||
|
Parameterized Strategies Specification in Maude24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers
hal-02364577v1
|
||
|
Parameter Synthesis Algorithms for Parametric Interval Markov Chains38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.121-140, ⟨10.1007/978-3-319-92612-4_7⟩
Conference papers
hal-01824814v1
|
||
|
Pairing-Based Cryptography on the Internet of Things: A Feasibility StudyInternational Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.219-230, ⟨10.1007/978-3-030-02931-9_18⟩
Conference papers
hal-02269719v1
|
||
|
Organizational Features in Disaster Risk Management Systems3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.155-174, ⟨10.1007/978-3-030-32169-7_12⟩
Conference papers
hal-02799291v1
|
||
|
Optimal Scheduling of Multiproduct Pipeline System Using MILP Continuous Approach6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.411-420, ⟨10.1007/978-3-319-89743-1_36⟩
Conference papers
hal-01913876v1
|
||
|
Open Government Data Driven Co-creation: Moving Towards Citizen-Government Collaboration17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.184-195, ⟨10.1007/978-3-319-98690-6_16⟩
Conference papers
hal-01961521v1
|
||
|
Ontology Based Data Management: A Study in a Brazilian Federal Agency17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.144-154, ⟨10.1007/978-3-319-98690-6_13⟩
Conference papers
hal-01961528v1
|
||
|
On Understanding Permission Usage Contextuality in Android Apps32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.232-242, ⟨10.1007/978-3-319-95729-6_15⟩
Conference papers
hal-01954415v1
|
||
|
On the Non-repudiation of Isogeny Based Signature Scheme12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.63-77, ⟨10.1007/978-3-030-20074-9_6⟩
Conference papers
hal-02294595v1
|