Search - IFIP Open Digital Library Access content directly

Filter your results

11 results
Structure: Internal structure identifier : 72398
Image document

Special Digital Monies: The Design of Alipay and WeChat Wallet for Mobile Payment Practices in China

Yong Ming Kow , Xinning Gui , Waikuen Cheng
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.136-155, ⟨10.1007/978-3-319-68059-0_9⟩
Conference papers hal-01679828v1
Image document

Using an Atlas-Based Approach in the Analysis of Gene Expression Maps Obtained by Voxelation

Evangelia I. Zacharaki , Angeliki Skoura , Li An , Desmond J. Smith , Vasileios Megalooikonomou
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.566-575, ⟨10.1007/978-3-642-33412-2_58⟩
Conference papers hal-01523042v1
Image document

Modelling Pesticide Treatment Effects on Lygus hesperus in Cotton Fields

H. T. Banks , J. E. Banks , Neha Murad , J. A. Rosenheim , K. Tillman
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.95-106, ⟨10.1007/978-3-319-55795-3_8⟩
Conference papers hal-01626902v1

Advances in Software Engineering Techniques

David Hutchison , Takeo Kanade , Josef Kittler , Jon M. Kleinberg , Friedemann Mattern , et al.
Springer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Books hal-01527391v1
Image document

Securing Web Applications with Predicate Access Control

Zhaomo Yang , Kirill Levchenko
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.541-554, ⟨10.1007/978-3-319-61176-1_30⟩
Conference papers hal-01684360v1
Image document

Privacy-Preserving Community-Aware Trending Topic Detection in Online Social Media

Theodore Georgiou , Amr El Abbadi , Xifeng Yan
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.205-224, ⟨10.1007/978-3-319-61176-1_11⟩
Conference papers hal-01684372v1
Image document

BOTVEILLANCE: A Vehicular Botnet Surveillance Attack against Pseudonymous Systems in VANETs

Mevlut Turker Garip , Peter Reiher , Mario Gerla
11th IFIP Wireless and Mobile Networking Conference (WMNC 2018), Sep 2018, Prague, Czech Republic. pp.53-60
Conference papers hal-01995425v1
Image document

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

Viorel Preoteasa , Iulia Dragomir , Stavros Tripakis
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers hal-01658411v1
Image document

State Grammars with Stores

Oscar H. Ibarra , Ian Mcquillan
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.163-174, ⟨10.1007/978-3-319-94631-3_14⟩
Conference papers hal-01905629v1
Image document

Performance Evaluation with Hidden Markov Models

E. De Souza E Silva , R. Leão , Richard R. Muntz
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.112-128, ⟨10.1007/978-3-642-25575-5_10⟩
Conference papers hal-01586903v1
Image document

Reframing of Product Position Rescues the Strategy at the Lifecycle Management

Makoto Takayama , Tadashi Takayama
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.497-506, ⟨10.1007/978-3-662-45937-9_49⟩
Conference papers hal-01386557v1