NICTA

Results: 817



#Item
71

http://elefant.developer.nicta.com.au/

Add to Reading List

Source URL: kioloa08.mlss.cc

Language: English - Date: 2008-03-05 04:59:40
    72

    Towards High-Level Programming for Distributed Problem Solving∗ Ryan F. Kelly and Adrian R. Pearce NICTA Victoria Research Laboratory Department of Computer Science and Software Engineering The University of Melbourne

    Add to Reading List

    Source URL: www.rfk.id.au

    Language: English - Date: 2015-05-24 18:36:22
      73

      Olivier Mehani French nationality Australian Permanent Residency NICTA, Mobile Systems Research Group

      Add to Reading List

      Source URL: olivier.mehani.name

      Language: English - Date: 2016-04-07 21:46:18
        74

        Insights of File-Sharing System Forums Guillaume Jourjon, Olivier Mehani and Thierry Rakotoarivelo NICTA 13 Garden Street Eveleigh, Sydney, NSW, Australia Email:

        Add to Reading List

        Source URL: olivier.mehani.name

        Language: English - Date: 2015-04-27 09:02:36
          75

          Changing Legal Systems: Legal Abrogations and Annulments in Defeasible Logic Guido Governatori1 and Antonino Rotolo2 1 NICTA, Queensland Research Laboratory, Australia,

          Add to Reading List

          Source URL: www.governatori.net

          Language: English - Date: 2010-04-30 23:14:24
            76

            A Conceptually Rich Model of Business Process Compliance Guido Governatori ∗ ∗∗ ∗ NICTA, Australia PO Box 6020, St Lucia, Queensland 4067, Australia CIRSFID and Law Faculty, University of Bologna, Via Galliera 3,

            Add to Reading List

            Source URL: www.governatori.net

            Language: English - Date: 2010-04-30 23:14:14
              77

              Olivier Mehani NICTA, Mobile Systems Research Group Locked Bag 9013 Alexandria NSW 1435 Australie Courriel:

              Add to Reading List

              Source URL: olivier.mehani.name

              Language: French - Date: 2016-04-07 21:46:23
                78

                Checking Licenses Compatibility between Vocabularies and Data Guido Governatori1 , Ho-Pun Lam1 , Antonino Rotolo2 , Serena Villata3 , Ghislain Atemezing4 , and Fabien Gandon3 1 NICTA Queensland‡ firstname.lastname@nict

                Add to Reading List

                Source URL: ceur-ws.org

                Language: English - Date: 2014-10-02 09:34:38
                  79

                  Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen

                  Add to Reading List

                  Source URL: christian.schallhart.net

                  Language: English - Date: 2015-08-22 10:39:55
                    80

                    Norm Compliance in Business Process Modeling Guido Governatori1 and Antonino Rotolo2 1 NICTA Queensland Research Lab., Australia, 2 CIRSFID, University of Bologna, Italy, antonino.rotolo@un

                    Add to Reading List

                    Source URL: www.governatori.net

                    Language: English - Date: 2010-08-23 22:22:56
                      UPDATE