Filter your results
- 66
- 1
- 1
- 67
- 1
- 68
- 5
- 2
- 1
- 3
- 4
- 18
- 9
- 4
- 27
- 68
- 60
- 3
- 3
- 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
- 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
68 results
|
“I Really Don’t Know What ‘Thumbs Up’ Means”: Algorithmic Experience in Movie Recommender Algorithms17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.521-541, ⟨10.1007/978-3-030-29387-1_30⟩
Conference papers
hal-02553857v1
|
||
|
A Calculus for Boxes and Traits in a Java-Like Setting12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.46-60, ⟨10.1007/978-3-642-13414-2_4⟩
Conference papers
hal-01054624v1
|
||
|
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers
hal-01527384v1
|
||
|
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.22-41, ⟨10.1007/978-3-030-78089-0_2⟩
Conference papers
hal-03740263v1
|
||
|
A Novel Trust Evaluation Model for Mobile P2P NetworksIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.210-219, ⟨10.1007/978-3-642-15672-4_19⟩
Conference papers
hal-01054989v1
|
||
|
A Parallel Implementation of GHB Tree6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.47-55, ⟨10.1007/978-3-319-89743-1_5⟩
Conference papers
hal-01913954v1
|
||
|
A Session Subtyping ToolCOORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩
Conference papers
hal-03340750v1
|
||
|
A Study on Self-adaptation in the Evolutionary Strategy Algorithm6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.150-160, ⟨10.1007/978-3-319-89743-1_14⟩
Conference papers
hal-01913901v1
|
||
|
A Timed Component Algebra for Services15th 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.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers
hal-01515250v1
|
||
|
Ambient Interference Effects in Wi-Fi Networks9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.160-173, ⟨10.1007/978-3-642-12963-6_13⟩
Conference papers
hal-01056315v1
|
||
|
An Abstract Framework for Deadlock Prevention in BIP15th 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.161-177, ⟨10.1007/978-3-642-38592-6_12⟩
Conference papers
hal-00878752v1
|
||
|
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.130-149, ⟨10.1007/978-3-642-32784-1_8⟩
Conference papers
hal-01539877v1
|
||
|
Benefits and Trade-Offs of Different Model Representations in Decision Support Systems for Non-expert Users17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.576-597, ⟨10.1007/978-3-030-29384-0_35⟩
Conference papers
hal-02544619v1
|
||
|
Chosen-Ciphertext Secure Certificateless Proxy Re-Encryption11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.214-232, ⟨10.1007/978-3-642-13241-4_20⟩
Conference papers
hal-01056377v1
|
||
|
Conformance-Based Doping Detection for Cyber-Physical Systems40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers
hal-03283236v1
|
||
|
Cryptanalysis of 2-Layer Nonlinear Piece in Hand Method1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.91-104
Conference papers
hal-01506559v1
|
||
|
Data Integrity Verification in Column-Oriented NoSQL Databases32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.165-181, ⟨10.1007/978-3-319-95729-6_11⟩
Conference papers
hal-01954409v1
|
||
|
Designing Mobile Phone Interfaces for Age Diversity in South Africa: “One-World” versus Diverse “Islands”14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.1-17, ⟨10.1007/978-3-642-40477-1_1⟩
Conference papers
hal-01504892v1
|
||
|
Distributed Stream Processing with DUPIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.232-246, ⟨10.1007/978-3-642-15672-4_21⟩
Conference papers
hal-01054979v1
|
||
|
Don’t Text While Driving: The Effect of Smartphone Text Messaging on Road Safety during Simulated Driving14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.546-563, ⟨10.1007/978-3-642-40477-1_35⟩
Conference papers
hal-01504909v1
|
||
|
Dynamic Spatial Positioning: Physical Collaboration around Interactive Table by Children in India14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.141-158, ⟨10.1007/978-3-642-40498-6_11⟩
Conference papers
hal-01510543v1
|
||
|
Dynamics in Delegation and Revocation Schemes: A Logical Approach23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers
inria-00593654v2
|
||
|
Efficient Java Implementation of Elliptic Curve Cryptography for J2ME-Enabled Mobile Devices6th International Workshop on Information Security Theory and Practice (WISTP), Jun 2012, Egham, United Kingdom. pp.189-207, ⟨10.1007/978-3-642-30955-7_17⟩
Conference papers
hal-01534311v1
|
||
|
Estimation of Expectable Network Quality in Wireless Mesh NetworksNetworking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.126-132, ⟨10.1007/978-3-642-30039-4_16⟩
Conference papers
hal-01533593v1
|
||
|
Evaluating the Effect of Phrase Set in Hindi Text Entry14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.195-202, ⟨10.1007/978-3-642-40498-6_14⟩
Conference papers
hal-01510544v1
|
||
|
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision PlanningJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers
hal-01055150v1
|
||
|
First-Order Dynamic Logic for Compensable Processes14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.104-121, ⟨10.1007/978-3-642-30829-1_8⟩
Conference papers
hal-01529601v1
|
||
|
Flexub: Dynamic Subscriptions for Publish/Subscribe Systems in MANETs12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.132-139, ⟨10.1007/978-3-642-30823-9_11⟩
Conference papers
hal-01527643v1
|
||
|
Growing Neural Gas – A Parallel Approach12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.408-419, ⟨10.1007/978-3-642-40925-7_38⟩
Conference papers
hal-01496086v1
|
||
|
Helping Me Helping You: Designing to Influence Health Behaviour through Social Connections14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.708-725, ⟨10.1007/978-3-642-40477-1_49⟩
Conference papers
hal-01504924v1
|