Search - IFIP Open Digital Library Access content directly

Filter your results

53 results
Structure: Internal structure identifier : 304304
Page :
sorted by
Image document

SDAC: Porting Scientific Data to Spark RDDs

 Tian Yang , Kenjiro Taura , Liu Chao
14th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2017, Hefei, China. pp.127-130, ⟨10.1007/978-3-319-68210-5_13⟩
Conference papers hal-01705439v1
Image document

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

 Fan Yang , Tomoyuki Aotani , Hidehiko Masuhara , Flemming Nielson , Hanne Riis Nielson
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers hal-01582991v1
Image document

Design and Implementation of Integrated ICN and CDN as a Video Streaming Service

 Chengkai Yan , Quang Ngoc Nguyen , Ilias Benkacem , Daisuke Okabe , Akihiro Nakao , et al.
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.194-206, ⟨10.1007/978-3-030-30523-9_16⟩
Conference papers hal-02881749v1
Image document

Turing-Completeness of Asynchronous Non-camouflage Cellular Automata

 Tatsuya Yamashita , Teijiro Isokawa , Ferdinand Peper , Ibuki Kawamata , Masami Hagiya
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.187-199, ⟨10.1007/978-3-319-58631-1_15⟩
Conference papers hal-01656362v1
Image document

Flexible Harmonic Temporal Structure for Modeling Musical Instrument

 Jun Wu , Yu Kitano , Takuya Nishimoto , Nobutaka Ono , Shigeki Sagayama
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.416-418, ⟨10.1007/978-3-642-15399-0_46⟩
Conference papers hal-01055616v1
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

An Intersection Type System for Deterministic Pushdown Automata

 Takeshi Tsukada , Naoki Kobayashi
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.357-371, ⟨10.1007/978-3-642-33475-7_25⟩
Conference papers hal-01556213v1
Image document

Self-enhancing GPS-Based Authentication Using Corresponding Address

 Tran Phuong Thao , Mhd Irvan , Ryosuke Kobayashi , Rie Shigetomi Yamaguchi , Toshiyuki Nakata
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.333-344, ⟨10.1007/978-3-030-49669-2_19⟩
Conference papers hal-03243648v1
Image document

Implementing Feature Interactions with Generic Feature Modules

 Fuminobu Takeyama , Shigeru Chiba
12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.81-96, ⟨10.1007/978-3-642-39614-4_6⟩
Conference papers hal-01492778v1
Image document

Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches

 Wakana Takeshita , Shigeru Chiba
12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.49-64, ⟨10.1007/978-3-642-39614-4_4⟩
Conference papers hal-01492776v1
Image document

Transformative and Innovative e-Gov for the Next Generation: Linkages of Back Offices for One-stop Portal

 Osamu Sudoh , Yumiko Kinoshita
Joint IFIP TC 8 and TC 6 International Conferences on E-Government, E-Services and Global Processes (EGES) / Global Information Systems Processes (GISP), / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.111-124, ⟨10.1007/978-3-642-15346-4_9⟩
Conference papers hal-01058865v1
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

Debugging Methods Through Identification of Appropriate Functions for Internal Gates

 Kosuke Oshima , Takeshi Matsumoto , Masahiro Fujita
21th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2013, Istanbul, Turkey. pp.1-22, ⟨10.1007/978-3-319-23799-2_1⟩
Conference papers hal-01380296v1
Image document

Role and Value of Character Design of Social Robots

 Junichi Osada , Keiji Suzuki , Hitoshi Matsubara
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.338-350, ⟨10.1007/978-3-030-65736-9_31⟩
Conference papers hal-03686023v1
Image document

A 65 nm CMOS Synthesizable Digital Low-Dropout Regulator Based on Voltage-to-Time Conversion with 99.6% Current Efficiency at 10-mA Load

 Naoki Ojima , Toru Nakura , Tetsuya Iizuka , Kunihiro Asada
26th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2018, Verona, Italy. pp.1-13, ⟨10.1007/978-3-030-23425-6_1⟩
Conference papers hal-02321770v1
Image document

Game Theoretic Analysis of Production Structures in the Japanese Animation Industry: Comparison of Conventional and Production Committee Systems

 Nariaki Nishino , Satoshi Kawabe
International Conference on Advances in Production Management Systems (APMS), Sep 2011, Stavanger, Norway. pp.99-106, ⟨10.1007/978-3-642-33980-6_12⟩
Conference papers hal-01524186v1
Image document

Overview Scrollbar: A Scrollbar Showing an Entire Document as an Overview

 Ko Mizoguchi , Daisuke Sakamoto , Takeo Igarashi
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.603-610, ⟨10.1007/978-3-642-40498-6_51⟩
Conference papers hal-01510496v1
Image document

SAT-Based Mapping of Data-Flow Graphs onto Coarse-Grained Reconfigurable Arrays

 Yukio Miyasaka , Masahiro Fujita , Alan Mishchenko , John Wawrzynek
28th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2020, Salt Lake City, UT, United States. pp.113-131, ⟨10.1007/978-3-030-81641-4_6⟩
Conference papers hal-03759734v1
Image document

Smartphone-Based Gait Measurement Application for Exercise and Its Effects on the Lifestyle of Senior Citizens

 Takahiro Miura , Ken-Ichiro Yabu , Atsushi Hiyama , Noriko Inamura , Michitaka Hirose , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.80-98, ⟨10.1007/978-3-319-22698-9_7⟩
Conference papers hal-01609403v1
Image document

Inclusive Side-Scrolling Action Game Securing Accessibility for Visually Impaired People

 Masaki Matsuo , Takahiro Miura , Masatsugu Sakajiri , Junji Onishi , Tsukasa Ono
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.410-414, ⟨10.1007/978-3-319-68059-0_41⟩
Conference papers hal-01679808v1
Image document

Open Data Reuse, Recycling and Sharing as Potential Solution to Data and Information Resource Inadequacies

 Kyla Matias , Tetsuo Kidokoro , Scira Menoni , Ouejdane Mejri , Negar Aminoltaheri
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.221-231, ⟨10.1007/978-3-319-59111-7_19⟩
Conference papers hal-01650085v1
Image document

Efficient User-Assisted Content Distribution over Information-Centric Network

 Hyunyong Lee , Akihiro Nakao
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.1-12, ⟨10.1007/978-3-642-30045-5_1⟩
Conference papers hal-01531115v1
Image document

Bubble Clouds: 3D Display Composed of Soap Bubble Cluster

 Yuki Kubo , Hirobumi Tomita , Shuta Nakamae , Takayuki Hoshi , Yoichi Ochiai
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.14-23, ⟨10.1007/978-3-319-66715-7_2⟩
Conference papers hal-01771251v1
Image document

Design of Graded Trusts by Using Dynamic Path Validation

 Akira Kubo , Hiroyuki Sato
4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.172-183, ⟨10.1007/978-3-642-13446-3_12⟩
Conference papers hal-01061326v1
Image document

Capturing and Analyzing Injection Processes with Point of Act System for Improving Quality and Productivity of Health Service Administration

 Atsushi Koshio , Masanori Akiyama
First IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.114-121, ⟨10.1007/978-3-642-15515-4_12⟩
Conference papers hal-01054867v1
Image document

Comparison of Industry-Academia Partnership Projects for the Purpose of Product Development

 Takashi Konishi , Kenju Akai , Nariaki Nishino , Kazuro Kageyama
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.118-125, ⟨10.1007/978-3-319-22759-7_14⟩
Conference papers hal-01431085v1
Image document

Elderly User Evaluation of Mobile Touchscreen Interactions

 Masatomo Kobayashi , Atsushi Hiyama , Takahiro Miura , Chieko Asakawa , Michitaka Hirose , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.83-99, ⟨10.1007/978-3-642-23774-4_9⟩
Conference papers hal-01590558v1
Image document

Development of IPSJ Data Science Curriculum Standard

 Tetsuro Kakeshita , Kazuo Ishii , Yoshiharu Ishikawa , Hitoshi Matsubara , Yutaka Matsuo , et al.
Open Conference on Computers in Education (OCCE), Aug 2021, Tampere, Finland. pp.156-167, ⟨10.1007/978-3-030-97986-7_13⟩
Conference papers hal-04161448v1
Image document

Selection of Molding Method for CFRP Automotive Body Parts - Resin Injection vs. Compression

 Yuji Kageyama , Kenju Akai , Nariaki Nishino , Kazuro Kageyama
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.455-463, ⟨10.1007/978-3-319-22756-6_56⟩
Conference papers hal-01417531v1
Image document

Pebbles: User-Configurable Device Network for Robot Navigation

 Kentaro Ishii , Haipeng Mi , Lei Ma , Natsuda Laokulrat , Masahiko Inami , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.420-436, ⟨10.1007/978-3-642-40480-1_28⟩
Conference papers hal-01501760v1
Page :