Search - IFIP Open Digital Library Access content directly

Filter your results

10 results
Structure: Internal structure identifier : 472208
Image document

Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration

Yuki Ando , Seiya Shibata , Shinya Honda , Hiroyuki Tomiyama , Hiroaki Takada
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.171-180, ⟨10.1007/978-3-642-38853-8_16⟩
Conference papers hal-01466671v1
Image document

Creation of Assurance Case Using Collaboration Diagram

Takuya Saruwatari , Shuichiro Yamamoto
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.413-418, ⟨10.1007/978-3-642-55032-4_41⟩
Conference papers hal-01397242v1
Image document

A Knowledge Integration Approach for Safety-Critical Software Development and Operation Based on the Method Architecture

Shuichiro Yamamoto
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.17-28, ⟨10.1007/978-3-319-10975-6_2⟩
Conference papers hal-01403983v1
Image document

Consensus Building and In-operation Assurance for Service Dependability

Yutaka Matsuno , Shuichiro Yamamoto
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.639-653, ⟨10.1007/978-3-642-32498-7_48⟩
Conference papers hal-01542429v1
Image document

A Proposal on Security Case Based on Common Criteria

Shuichiro Yamamoto , Tomoko Kaneko , Hidehiko Tanaka
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.331-336, ⟨10.1007/978-3-642-36818-9_36⟩
Conference papers hal-01480190v1
Image document

An Approach for Evaluating Softgoals Using Weight

Shuichiro Yamamoto
3rd International Conference on Information and Communication Technology-EurAsia (ICT-EURASIA) and 9th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Oct 2015, Daejon, South Korea. pp.203-212, ⟨10.1007/978-3-319-24315-3_20⟩
Conference papers hal-01466221v1
Image document

Session-ocaml: A Session-Based Library with Polarities and Lenses

Keigo Imai , Nobuko Yoshida , Shoji Yuen
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.99-118, ⟨10.1007/978-3-319-59746-1_6⟩
Conference papers hal-01657342v1
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

An Evaluation of Argument Patterns Based on Data Flow

Shuichiro Yamamoto
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.432-437, ⟨10.1007/978-3-642-55032-4_43⟩
Conference papers hal-01397249v1
Image document

A New Approach to Develop a Dependable Security Case by Combining Real Life Security Experiences (Lessons Learned) with D-Case Development Process

Vaise Patu , Shuichiro Yamamoto
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.457-464
Conference papers hal-01506567v1