Search - IFIP Open Digital Library Access content directly

Filter your results

53 results
Structure: Internal structure identifier : 304304
Page :
sorted by
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

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
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

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

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

Analysis on Data Captured by the Barcode Medication Administration System with PDA for Reducing Medical Error at Point of Care in Japanese Red Cross Kochi Hospital

 Masanori Akiyama , Atsushi Koshio , Nobuyuki Kaihotsu
First IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.122-129, ⟨10.1007/978-3-642-15515-4_13⟩
Conference papers hal-01054866v1
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

Vegetation Interaction Game: Digital SUGOROKU of Vegetation Succession for Children

 Akiko Deguchi , Shigenori Inagaki , Fusako Kusunoki , Etsuji Yamaguchi , Yoshiaki Takeda , et al.
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.493-495, ⟨10.1007/978-3-642-15399-0_70⟩
Conference papers hal-01055590v1
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

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

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

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

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

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
Image document

Do Consumers Select Food Products Based on Carbon Dioxide Emissions?

 Keiko Aoki , Kenju Akai
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.345-352, ⟨10.1007/978-3-642-40361-3_44⟩
Conference papers hal-01470640v1
Image document

Does the Carbon Footprint Enhance the Sustainability Food Production and Transportation Service System? Real Buying Experiment in Japan

 Keiko Aoki , Kenju Akai
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.18-25, ⟨10.1007/978-3-642-41263-9_3⟩
Conference papers hal-01451773v1
Image document

Does an Information Service Provider Improve the Market?

 Kenju Akai , Keiko Aoki , Nariaki Nishino
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.26-32, ⟨10.1007/978-3-642-41263-9_4⟩
Conference papers hal-01451785v1
Image document

A Choice Experiment for Air Travel Services

 Kenju Akai , Keiko Aoki , Nariaki Nishino
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.353-360, ⟨10.1007/978-3-642-40361-3_45⟩
Conference papers hal-01470641v1
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

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

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

Generic Weakest Precondition Semantics from Monads Enriched with Order

 Ichiro Hasuo
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers hal-01408750v1
Image document

A Requirements Evaluation Method for Ships to Maximize Operational Value under Uncertainty

 Kazuo Hiekata , Bryan Moser
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.149-158, ⟨10.1007/978-3-662-45937-9_16⟩
Conference papers hal-01386491v1
Image document

Study on Improving Accuracy for Edge Measurement Using 3D Laser Scanner

 Kazuo Hiekata , Hiroyuki Yamato , Jingyu Sun , Hiroya Matsubara , Naoji Toki
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.427-434, ⟨10.1007/978-3-662-45937-9_42⟩
Conference papers hal-01386548v1
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

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

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

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

Coalgebraic Methods in Computer Science

 Ichiro Hasuo
Springer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩
Books hal-01446038v1
Image document

Updating Policies in CP-ABE-Based Access Control: An Optimized and Secure Service

 Somchart Fugkeaw , Hiroyuki Sato
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.3-17, ⟨10.1007/978-3-319-44482-6_1⟩
Conference papers hal-01638598v1
Page :