B15

Results: 217



#Item
31

A knowledge-based verification method for dynamic access control policies Masoud Koleini and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK {m.koleini,m.d.ryan}@cs.bham.ac.uk

Add to Reading List

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

Language: English - Date: 2011-08-02 04:08:18
    32

    An Implemented Context System that Combines Belief Reasoning, Metaphor-Based Reasoning and Uncertainty Handling John A. Barnden and Mark G. Lee School of Computer Science, The University of Birmingham Birmingham, B15 2TT

    Add to Reading List

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

    Language: English - Date: 2001-05-10 14:33:21
      33

      Model checking agent knowledge in dynamic access control policies Masoud Koleini, Eike Ritter and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK

      Add to Reading List

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

      Language: English - Date: 2013-02-26 16:27:34
        34

        De ning Features for CSP: Re e tions on the Feature Intera tion Contest Malte Plath1 and Mark Dermot Ryan1 S hool of Computer S ien e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m p,mdr s.bham.a .

        Add to Reading List

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

        Language: English - Date: 2009-02-25 10:35:10
          35

          SIEMENS MAGNETOM TrioTim syngo MR B15 \\USER\RESEARCH\mayaan\prc163_30F\BOLD - resting - CAP TA: 10:55 PAT: Off

          Add to Reading List

          Source URL: fcon_1000.projects.nitrc.org

          Language: English - Date: 2010-12-14 17:40:43
            36

            An algorithmic approach to knowledge evolution Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT, UK

            Add to Reading List

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

            Language: English - Date: 2009-02-25 10:33:55
              37

              Implementation of belief hange operators using BDDs Nikos Gorogiannis and Mark D. Ryan (fnkg,mdrg s.bham.a .uk) S hool of Computer S ien e University of Birmingham Birmingham B15 2TT

              Add to Reading List

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

              Language: English - Date: 2009-02-25 10:35:16
                38

                AGNC Training Panel Meeting for Genetic Counsellor Trainees / Band 6 GCs Tuesday 6th October 2015 Lecture Theatre, Education Resource Centre, Birmingham Women’s Hospital, Mindelsohn Way, Edgbaston Birmingham. B15 2TG

                Add to Reading List

                Source URL: www.agnc.org.uk

                Language: English - Date: 2015-08-14 06:25:19
                  39

                  A New Continuous Propositional Logic Riccardo Poli, Mark Ryan and Aaron Sloman School of Computer Science The University of Birmingham Birmingham B15 2TT United Kingdom

                  Add to Reading List

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

                  Language: English - Date: 2009-02-25 10:35:22
                    40

                    Model re nement and model checking for S5n Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT, UK

                    Add to Reading List

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

                    Language: English - Date: 2009-02-25 10:33:53
                      UPDATE