Search - IFIP Open Digital Library Access content directly

Filter your results

23 results
Structure: Internal structure identifier : 6501
Page :
sorted by
Image document

Regular Expression Learning with Evolutionary Testing and Repair

 Paolo Arcaini , Angelo Gargantini , Elvinia Riccobene
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.22-40, ⟨10.1007/978-3-030-31280-0_2⟩
Conference papers hal-02526352v1
Image document

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

 Natsuki Urabe , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers hal-02044648v1
Image document

PrivacyTag: A Community-Based Method for Protecting Privacy of Photographed Subjects in Online Social Networks

 Shimon Machida , Adrian Dabrowski , Edgar Weippl , Isao Echizen
16th Conference on e-Business, e-Services and e-Society (I3E), Nov 2017, Delhi, India. pp.261-275, ⟨10.1007/978-3-319-68557-1_24⟩
Conference papers hal-01768504v1
Image document

A Preliminary Study on User’s Decision Making towards Retweet Messages

 Nor Athiyah Abdullah , Dai Nishioka , Yuko Tanaka , Yuko Murayama
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakech, Morocco. pp.359-365, ⟨10.1007/978-3-642-55415-5_30⟩
Conference papers hal-01370384v1
Image document

Smartphone Message Sentiment Analysis

 Panagiotis Andriotis , Atsuhiro Takasu , Theo Tryfonas
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.253-265, ⟨10.1007/978-3-662-44952-3_17⟩
Conference papers hal-01393775v1
Image document

Model Checking of Concurrent Algorithms: From Java to C

 Cyrille Artho , Masami Hagiya , Watcharin Leungwattanakit , Yoshinori Tanabe , Mitsuharu Yamamoto
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.90-101, ⟨10.1007/978-3-642-15234-4_10⟩
Conference papers hal-01054483v1
Image document

A User Privacy Protection Technique for Executing SQL over Encrypted Data in Database Outsourcing Service

 T. P. Hue , D. N. Thuc , T. D. Thuy , Isao Echizen , S. Wohlgemuth
12th Conference on e-Business, e-Services, and e-Society (I3E), Apr 2013, Athens, Greece. pp.25-37, ⟨10.1007/978-3-642-37437-1_3⟩
Conference papers hal-01470566v1
Image document

Chaotic Chebyshev Polynomials Based Remote User Authentication Scheme in Client-Server Environment

 Toan-Thinh Truong , Minh-Triet Tran , Anh-Duc Duong , Isao Echizen
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.479-494, ⟨10.1007/978-3-319-18467-8_32⟩
Conference papers hal-01345140v1
Image document

Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs

 Stefano Berardi , Makoto Tatsuta
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.13-33, ⟨10.1007/978-3-030-00389-0_3⟩
Conference papers hal-02044649v1
Image document

Tagging Disclosures of Personal Data to Third Parties to Preserve Privacy

 Sven Wohlgemuth , Isao Echizen , Noboru Sonehara , Günter Müller
25th IFIP TC 11 International Information Security Conference (SEC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.241-252, ⟨10.1007/978-3-642-15257-3_22⟩
Conference papers hal-01054512v1
Image document

Mobile Agents for Digital Signage

 Ichiro Satoh
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.216-226, ⟨10.1007/978-3-642-16256-5_21⟩
Conference papers hal-01055384v1
Image document

Breaking Anonymity of Social Network Accounts by Using Coordinated and Extensible Classifiers Based on Machine Learning

 Eina Hashimoto , Masatsugu Ichino , Tetsuji Kuboyama , Isao Echizen , Hiroshi Yoshiura
15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.455-470, ⟨10.1007/978-3-319-45234-0_41⟩
Conference papers hal-01702149v1
Image document

Measuring Accumulated Revelations of Private Information by Multiple Media

 Komei Kamiyama , Tran Hong Ngoc , Isao Echizen , Hiroshi Yoshiura
10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society (I3E), Nov 2010, Buenos Aires, Argentina. pp.70-80, ⟨10.1007/978-3-642-16283-1_11⟩
Conference papers hal-01055032v1
Image document

Fibrational Bisimulations and Quantitative Reasoning

 David Sprunger , Shin-Ya Katsumata , Jérémy Dubut , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers hal-01901092v1
Image document

Coupons as Monetary Incentives in Participatory Sensing

 Andreas Albers , Ioannis Krontiris , Noboru Sonehara , Isao Echizen
12th Conference on e-Business, e-Services, and e-Society (I3E), Apr 2013, Athens, Greece. pp.226-237, ⟨10.1007/978-3-642-37437-1_19⟩
Conference papers hal-01470536v1
Image document

Injective Objects and Fibered Codensity Liftings

 Yuichi Komorida
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.112-132, ⟨10.1007/978-3-030-57201-3_7⟩
Conference papers hal-03232347v1
Image document

Parametric updates in parametric timed automata

 Étienne André , Didier Lime , Mathias Ramparison
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers hal-02153238v1
Image document

Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs

 Shin Nakajima , Tsong Yueh Chen
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.56-64, ⟨10.1007/978-3-030-31280-0_4⟩
Conference papers hal-02526339v1
Image document

Privacy Visor: Method for Preventing Face Image Detection by Using Differences in Human and Device Sensitivity

 Takayuki Yamada , Seiichi Gohshi , Isao Echizen
14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.152-161, ⟨10.1007/978-3-642-40779-6_13⟩
Conference papers hal-01492817v1
Image document

Uncertainty in Live Forensics

 Antonio Savoldi , Paolo Gubian , Isao Echizen
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.171-184, ⟨10.1007/978-3-642-15506-2_12⟩
Conference papers hal-01060617v1
Image document

Bridging the Gap Between AI and Healthcare Sides: Towards Developing Clinically Relevant AI-Powered Diagnosis Systems

 Changhee Han , Leonardo Rundo , Kohei Murao , Takafumi Nemoto , Hideki Nakayama
16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2020, Neos Marmaras, Greece. pp.320-333, ⟨10.1007/978-3-030-49186-4_27⟩
Conference papers hal-04060679v1
Image document

Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems

 Shin Nakajima , Masaki Ishiguro , Kazuyuki Tanaka
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.83-94, ⟨10.1007/978-3-642-16256-5_10⟩
Conference papers hal-01055395v1
Image document

Opening the Can: Public Interaction with Ready-Made Contents

 Shlomo Dubnov , Philippe Codognet
Second IFIP TC 14 Entertainment Computing Symposium (ECS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.179-189, ⟨10.1007/978-3-642-15214-6_18⟩
Conference papers hal-01056344v1
Page :