Filter your results
- 96
- 2
- 96
- 2
- 98
- 8
- 1
- 1
- 1
- 5
- 4
- 1
- 16
- 19
- 4
- 46
- 98
- 98
- 78
- 75
- 65
- 59
- 51
- 49
- 47
- 43
- 42
- 40
- 40
- 38
- 35
- 33
- 33
- 33
- 31
- 29
- 29
- 29
- 29
- 28
- 28
- 27
- 26
- 25
- 25
- 25
- 23
- 23
- 22
- 22
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 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
|
Testing Attribute-Based Transactions in SOCJoint 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.87-94, ⟨10.1007/978-3-642-13464-7_8⟩
Conference papers
hal-01055143v1
|
||
|
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
|
||
|
Mining Likely Properties of Access Control Policies via Association Rule Mining24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.193-208, ⟨10.1007/978-3-642-13739-6_13⟩
Conference papers
hal-01056688v1
|
||
|
A Multi-objective Genetic Algorithm for Software Development Team Staffing Based on Personality Types8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.37-47, ⟨10.1007/978-3-642-33409-2_5⟩
Conference papers
hal-01521403v1
|
||
|
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
|
||
|
Artificial Neural Networks to Investigate the Importance and the Sensitivity to Various Parameters Used for the Prediction of Chromosomal Abnormalities8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.46-55, ⟨10.1007/978-3-642-33412-2_5⟩
Conference papers
hal-01523076v1
|
||
|
Totoro: A Scalable and Fault-Tolerant Data Center Network by Using Backup Port10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.94-105, ⟨10.1007/978-3-642-40820-5_9⟩
Conference papers
hal-01513881v1
|
||
|
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
|
||
|
Privacy Consensus in Anonymization Systems via Game Theory26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.74-89, ⟨10.1007/978-3-642-31540-4_6⟩
Conference papers
hal-01534775v1
|
||
|
Scalable Efficient Composite Event Detection12th 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.168-182, ⟨10.1007/978-3-642-13414-2_12⟩
Conference papers
hal-01054628v1
|
||
|
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
|
||
|
IP Fast Reroute in Networks with Shared Risk Links9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.213-226, ⟨10.1007/978-3-642-12963-6_17⟩
Conference papers
hal-01056311v1
|
||
|
Online Scene Modeling for Interactive AR Applications9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.139-150, ⟨10.1007/978-3-642-15399-0_13⟩
Conference papers
hal-01055648v1
|
||
|
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
|
||
|
A Structured Approach for Implementing Virtual Organization Breeding Environments in the Mold and Die Sector - A Brazilian Case Study11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.197-203, ⟨10.1007/978-3-642-15961-9_23⟩
Conference papers
hal-01055992v1
|
||
|
Designing Privacy-Enhancing Mobile Applications7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. pp.157-170, ⟨10.1007/978-3-642-31668-5_12⟩
Conference papers
hal-01517593v1
|
||
|
On Users’ Preference on Localized vs. Latin-Based CAPTCHA Challenges14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.358-365, ⟨10.1007/978-3-642-40498-6_28⟩
Conference papers
hal-01510537v1
|
||
|
Identification of Persons by Virtue of Hand Geometry12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.36-46, ⟨10.1007/978-3-642-40925-7_4⟩
Conference papers
hal-01496097v1
|
||
|
Parametric Subscriptions for Content-Based Publish/Subscribe NetworksACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.128-147, ⟨10.1007/978-3-642-16955-7_7⟩
Conference papers
hal-01055268v1
|
||
|
Detecting Temporal Pattern and Cluster Changes in Social Networks: A Study Focusing UK Cattle Movement Database6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.163-172, ⟨10.1007/978-3-642-16327-2_22⟩
Conference papers
hal-01055061v1
|
||
|
Validating Evolutionary Algorithms on Volunteer Computing Grids10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.29-41, ⟨10.1007/978-3-642-13645-0_3⟩
Conference papers
hal-01061080v1
|
||
|
Enhancing Clustering by Exploiting Complementary Data Modalities in the Medical Domain8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.357-367, ⟨10.1007/978-3-642-33409-2_37⟩
Conference papers
hal-01521399v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Multicast in Multi-channel Wireless Mesh Networks9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.148-159, ⟨10.1007/978-3-642-12963-6_12⟩
Conference papers
hal-01056316v1
|
||
|
Toward Requirements-Driven Design of Visual Modeling Languages11th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Oct 2018, Vienna, Austria. pp.21-36, ⟨10.1007/978-3-030-02302-7_2⟩
Conference papers
hal-02156474v1
|
||
|
Theoretical Analysis of an Ideal Startup Scheme in Multihomed SCTP 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.155-166, ⟨10.1007/978-3-642-13971-0_15⟩
Conference papers
hal-01056501v1
|
||
|
A Generic Tool for Building Fuzzy Cognitive Map Systems6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. pp.45-52, ⟨10.1007/978-3-642-16239-8_9⟩
Conference papers
hal-01060653v1
|