Checking

Results: 4283



#Item
111Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

Add to Reading List

Source URL: i12www.ira.uka.de

Language: German - Date: 2013-02-06 04:05:25
    112SENTENCING SUMMARY FROM RECENT STUDENT AND ANTI CUTS PROTESTS collated by Legal Defence and Monitoring Group http://ldmg.org.uk/ Up to date as of March 2nd 2012 but this will change every week... Keep checking LONDON ABC

    SENTENCING SUMMARY FROM RECENT STUDENT AND ANTI CUTS PROTESTS collated by Legal Defence and Monitoring Group http://ldmg.org.uk/ Up to date as of March 2nd 2012 but this will change every week... Keep checking LONDON ABC

    Add to Reading List

    Source URL: ldmg.org.uk

    Language: English - Date: 2012-03-04 09:08:53
      113Protocol proof checking simplified with SMT Mark R. Tuttle Strategic CAD Lab Intel Corporation Hudson, MA

      Protocol proof checking simplified with SMT Mark R. Tuttle Strategic CAD Lab Intel Corporation Hudson, MA

      Add to Reading List

      Source URL: www.markrtuttle.com

      Language: English - Date: 2012-07-27 11:30:00
        114Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

        Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

        Add to Reading List

        Source URL: sharps.org

        Language: English - Date: 2014-08-13 15:13:39
          115Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISOJulieth Patricia Castellanos Ardila, Barbara Gallina {julieth.castellanos, barbara.gallina}@mdh.se This work is supported by th

          Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISOJulieth Patricia Castellanos Ardila, Barbara Gallina {julieth.castellanos, barbara.gallina}@mdh.se This work is supported by th

          Add to Reading List

          Source URL: terecom2017.lynx-project.eu

          Language: English - Date: 2018-04-05 12:22:54
            116Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

            Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

            Add to Reading List

            Source URL: www-kb.is.s.u-tokyo.ac.jp

            Language: English - Date: 2016-04-18 06:57:45
              117Model selection Model checking Chapter 6 - Model selection and checkingHidden Markov Models

              Model selection Model checking Chapter 6 - Model selection and checkingHidden Markov Models

              Add to Reading List

              Source URL: www2.imm.dtu.dk

              Language: English - Date: 2014-12-18 07:20:59
                118model checking or other formal verification tools. In the months leading up to the competition, the organizers created an open source infrastructure for generating problem instances and interacting with submitted control

                model checking or other formal verification tools. In the months leading up to the competition, the organizers created an open source infrastructure for generating problem instances and interacting with submitted control

                Add to Reading List

                Source URL: gmwgroup.harvard.edu

                Language: English - Date: 2018-01-30 14:11:27
                  119Model Checking of Statechart Models arXiv:cs/0407038v1 [cs.SE] 16 Jul 2004 Survey and Research Directions Purandar Bhaduri

                  Model Checking of Statechart Models arXiv:cs/0407038v1 [cs.SE] 16 Jul 2004 Survey and Research Directions Purandar Bhaduri

                  Add to Reading List

                  Source URL: arxiv.org

                  Language: English - Date: 2008-02-01 14:46:18
                    120Translation Quality Checking in LanguageTool Marcin Miłkowski Abstract: In large computer-aided translation (CAT) projects, especially in software localization, one of the main problems is to maintain the consistent sty

                    Translation Quality Checking in LanguageTool Marcin Miłkowski Abstract: In large computer-aided translation (CAT) projects, especially in software localization, one of the main problems is to maintain the consistent sty

                    Add to Reading List

                    Source URL: www.marcinmilkowski.pl

                    Language: English - Date: 2012-11-19 12:24:58