Checking

Results: 4283



#Item
851

Sequential Changes in Oral Dryness Evaluated by a Moisture-Checking Device in Patients with Oropharyngeal Cancer during Chemoradiotherapy: A Pilot Study

Add to Reading List

Source URL: www.aclr.com.es

Language: English - Date: 2015-04-07 22:20:46
    852

    Evaluating Access Control Policies Through Model Checking  

    Add to Reading List

    Source URL: www.cs.bham.ac.uk.

    Language: English - Date: 2009-02-25 10:33:24
      853

      Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-T

      Add to Reading List

      Source URL: www.cin.ufpe.br

      Language: English - Date: 2010-04-26 17:16:00
        854

        March 2015 With this being the first issue of The Rag for 2015 we wish all our members, volunteers, sponsors and other supporters a belated Happy New year. Trapping The trappers are continuing to do great job of checking

        Add to Reading List

        Source URL: www.rimutakatrust.org.nz

        Language: English - Date: 2015-03-22 06:00:09
          855

          BALANCE SHEET AS AT 31 DECEMBER 2014 Foreign Currency ASSETS Current Assets Checking/Savings

          Add to Reading List

          Source URL: www.apia.org

            856

            Switch Kit Get More When You Switch to All Access Checking Contact Us Member Services

            Add to Reading List

            Source URL: www.georgiasown.org

            Language: English - Date: 2015-01-30 09:28:15
              857

              Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors Owen Anderson Emily Fortuna

              Add to Reading List

              Source URL: ready.cs.washington.edu

              Language: English - Date: 2011-01-21 20:32:18
                858

                A Parameterized Weighted Containment GUY AVNI and ORNA KUPFERMAN, Hebrew University Partially-specified systems and specifications are used in formal methods such as stepwise design and query checking. Existing methods c

                Add to Reading List

                Source URL: tocl.acm.org

                Language: English
                  859

                  On the Complexity of Path Checking in Temporal Logics Daniel Bundala Joël Ouaknine Department of Computer Science University of Oxford

                  Add to Reading List

                  Source URL: highlights-conference.org

                  Language: English - Date: 2013-09-18 06:36:07
                    860

                    Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

                    Add to Reading List

                    Source URL: www.cs.tsukuba.ac.jp

                    Language: English - Date: 2011-06-15 23:13:40
                      UPDATE