RCIS

Results: 87



#Item
21Iterative Delta Debugging Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Automated debugging attempts to locate the reason for a failure. Delta debugging minimizes the differe

Iterative Delta Debugging Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Automated debugging attempts to locate the reason for a failure. Delta debugging minimizes the differe

Add to Reading List

Source URL: staff.aist.go.jp

Language: English - Date: 2015-11-26 00:31:25
    22Tools and Techniques for Model Checking Networked Programs Cyrille Artho RCIS/AIST Tokyo, Japan Watcharin Leungwattanakit

    Tools and Techniques for Model Checking Networked Programs Cyrille Artho RCIS/AIST Tokyo, Japan Watcharin Leungwattanakit

    Add to Reading List

    Source URL: staff.aist.go.jp

    Language: English - Date: 2015-11-26 00:31:51
      23CASE STUDY: IBM Knowledge sharing and collaboration via social networks – internal and external Martin Švík, PhD. – IBM Analytics Platform Technical Leader for CEE/RCIS AGENDA

      CASE STUDY: IBM Knowledge sharing and collaboration via social networks – internal and external Martin Švík, PhD. – IBM Analytics Platform Technical Leader for CEE/RCIS AGENDA

      Add to Reading List

      Source URL: kas.economia.ihned.cz

      Language: English
        24Separation of Transitions, Actions, and Exceptions in Model-based Testing Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Model-based testing generates test cases from a high-l

        Separation of Transitions, Actions, and Exceptions in Model-based Testing Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Model-based testing generates test cases from a high-l

        Add to Reading List

        Source URL: staff.aist.go.jp

        Language: English - Date: 2015-11-26 00:31:41
          25Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

          Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

          Add to Reading List

          Source URL: staff.aist.go.jp

          Language: English - Date: 2015-12-08 00:16:08
            26Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

            Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

            Add to Reading List

            Source URL: staff.aist.go.jp

            Language: English - Date: 2015-12-08 00:16:09
              27Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Iterative Delta Debugging Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan

              Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Iterative Delta Debugging Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan

              Add to Reading List

              Source URL: staff.aist.go.jp

              Language: English - Date: 2015-11-26 00:31:03
                28Introduction of Virtualization Technology to Multi-Process Model Checking Watcharin Leungwattanakit Cyrille Artho University of Tokyo RCIS/AIST

                Introduction of Virtualization Technology to Multi-Process Model Checking Watcharin Leungwattanakit Cyrille Artho University of Tokyo RCIS/AIST

                Add to Reading List

                Source URL: staff.aist.go.jp

                Language: English - Date: 2015-11-26 00:32:02
                  29Coding-Based Oblivious Transfer Kazukuni Kobara1 , Kirill Morozov1 , and Raphael Overbeck2? 1 RCIS, AIST Akihabara Daibiru, room 1102

                  Coding-Based Oblivious Transfer Kazukuni Kobara1 , Kirill Morozov1 , and Raphael Overbeck2? 1 RCIS, AIST Akihabara Daibiru, room 1102

                  Add to Reading List

                  Source URL: imi.kyushu-u.ac.jp

                  - Date: 2008-06-30 20:16:56
                    30Quantum Error Correction beyond the Bounded Distance Decoding Limit K. Kasai†, M. Hagiwara‡, H. Imai‡?, and K. Sakaniwa† † ‡ ? Tokyo Tech, RCIS, AIST, Chuo University

                    Quantum Error Correction beyond the Bounded Distance Decoding Limit K. Kasai†, M. Hagiwara‡, H. Imai‡?, and K. Sakaniwa† † ‡ ? Tokyo Tech, RCIS, AIST, Chuo University

                    Add to Reading List

                    Source URL: www.comm.ce.titech.ac.jp

                    Language: English - Date: 2013-03-26 05:46:45