Search - IFIP Open Digital Library Access content directly

Filter your results

14 results
Structure: Internal structure identifier : 300689

Intelligent Information Processing VI

Zhongzhi Shi , David Leake , Sunil Vadera
Springer, AICT-385, 2012, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-32891-6⟩
Books hal-01524979v1
Image document

Chaining Data and Visualization Web Services for Decision Making in Information Systems

Ahmet Sayar , Marlon E. Pierce
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.44-53
Conference papers hal-01506785v1
Image document

On Finitary Functors and Their Presentations

Jiří Adámek , Stefan Milius , Lawrence S. Moss
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.51-70, ⟨10.1007/978-3-642-32784-1_4⟩
Conference papers hal-01539879v1

Intelligent Information Processing VII

Zhongzhi Shi , Zhaohui Wu , David Leake , Uli Sattler
Springer, AICT-432, 2014, IFIP Advances in Information and Communication Technology, 978-3-662-44979-0. ⟨10.1007/978-3-662-44980-6⟩
Books hal-01383352v1
Image document

Creativity Filter and Start-Ups to Resolve the Innovation Paradox

David Audretsch , Maksim Belitski
16th International Conference on Informatics and Semiotics in Organisations (ICISO), Mar 2015, Toulouse, France. pp.195-203, ⟨10.1007/978-3-319-16274-4_20⟩
Conference papers hal-01324978v1
Image document

The Usage of Usability Techniques in Scrum Projects

Yuan Jia , Marta Kristin Larusdottir , Åsa Cajander
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.331-341, ⟨10.1007/978-3-642-34347-6_25⟩
Conference papers hal-01556824v1
Image document

Approximation of the Equations of the Humid Atmosphere with Saturation

Roger Temam , Xiaoyan Wang
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.21-42, ⟨10.1007/978-3-319-55795-3_2⟩
Conference papers hal-01626922v1
Image document

Making Access Control Easy in IoT

Vafa Andalibi , Jayati Dev , Donginn Kim , Eliot Lear , L. Jean Camp
15th International Symposium on Human Aspects of Information Security and Assurance (HAISA), Jul 2021, Virtual, United Kingdom. pp.127-137, ⟨10.1007/978-3-030-81111-2_11⟩
Conference papers hal-04041063v1
Image document

Bayesian Evaluation of User App Choices in the Presence of Risk Communication on Android Devices

B. Momenzadeh , S. Gopavaram , S. Das , L. J. Camp
14th International Symposium on Human Aspects of Information Security and Assurance (HAISA), Jul 2020, Mytilene, Lesbos, Greece. pp.211-223, ⟨10.1007/978-3-030-57404-8_16⟩
Conference papers hal-03657733v1

Intelligent Information Processing V

Zhongzhi Shi , Sunil Vadera , Agnar Aamodt , David Leake
Springer, AICT-340, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-16326-5. ⟨10.1007/978-3-642-16327-2⟩
Books hal-01550203v1
Image document

Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases in the Future of Intelligent Information Processing

David Leake
6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.1-1, ⟨10.1007/978-3-642-16327-2_1⟩
Conference papers hal-01060352v1
Image document

Quantifying Susceptibility to Spear Phishing in a High School Environment Using Signal Detection Theory

P. Unchit , S. Das , A. Kim , L. J. Camp
14th International Symposium on Human Aspects of Information Security and Assurance (HAISA), Jul 2020, Mytilene, Lesbos, Greece. pp.109-120, ⟨10.1007/978-3-030-57404-8_9⟩
Conference papers hal-03657712v1
Image document

Long-Term Values in Markov Decision Processes, (Co)Algebraically

Frank Feys , Helle Hvid Hansen , Lawrence S. Moss
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.78-99, ⟨10.1007/978-3-030-00389-0_6⟩
Conference papers hal-02044650v1
Image document

A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors

David Sprunger
13th 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