Sophia

Results: 1797



#Item
111

Universe Types for Topology and Encapsulation Dave Cunningham1 , Werner Dietl2 , Sophia Drossopoulou1 , Adrian Francalanza3 , Peter M¨ uller2 , and Alexander J. Summers1 1

Add to Reading List

Source URL: pubs.doc.ic.ac.uk

- Date: 2008-12-09 16:44:51
    112

    Universe Types for Topology and Encapsulation Dave Cunningham1 , Werner Dietl2 , Sophia Drossopoulou1 , Adrian Francalanza3 , Peter M¨ uller2 , and Alexander J. Summers1 1

    Add to Reading List

    Source URL: staff.um.edu.mt

    - Date: 2008-10-09 07:37:28
      113

      Games on Concurrent Processes: Epistemic Strategies Sophia Knight McGill University

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2008-09-09 03:42:08
        114

        Abstract Data Types in Object-Capability Systems James Noble1 , Sophia Drossopoulou2 , Mark S. Miller3 , Toby Murray4 , Alex Potanin1 1 Victoria University Wellington, 2 Imperial College London, 3 Google Inc, 4 Universit

        Add to Reading List

        Source URL: palez.github.io

        - Date: 2016-07-20 09:34:24
          115

          Sophia University Institute of Comparative Culture Lecture SeriesICT and the Drive to Reform Japanese Education Gerald K. LeTendre

          Add to Reading List

          Source URL: icc.fla.sophia.ac.jp

          - Date: 2016-11-17 02:36:59
            116

            Program Models for Compositional Verification Marieke Huisman1 , Irem Aktug2 , and Dilian Gurov2 2 1 INRIA Sophia Antipolis, France

            Add to Reading List

            Source URL: www.nada.kth.se

            - Date: 2011-09-12 13:20:20
              117

              Behavioural Verification of Distributed Components Ludovic Henrio and Eric Madelaine Inria Sophia-Antipolis-I3S-CNRS-University of Nice Sophia-Antipolis , This paper presents

              Add to Reading List

              Source URL: www.cs.unibo.it

              - Date: 2013-06-01 06:44:16
                118

                Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations Vincent Kherbache INRIA Sophia Antipolis Email:

                Add to Reading List

                Source URL: vincent.kherbache.fr

                - Date: 2015-11-17 08:19:54
                  119

                  Fine-grained and coarse-grained reactive bisimilarity Pejman Attar & Ilaria Castellani INRIA Sophia Antipolis Méditerranée (Longer version to be presented at TGC’13)

                  Add to Reading List

                  Source URL: www.ips.tu-braunschweig.de

                  - Date: 2013-09-10 10:58:30
                    120

                    VOUS ÊTES ÉTUDIANT EN PACES ? DEVENEZ INGÉNIEUR POLYTECH ANNECY-CHAMBÉRY - CLERMONT-FERRAND - GRENOBLE - LILLE - LYON - MARSEILLE MONTPELLIER - NANTES - NICE SOPHIA - ORLÉANS - PARIS-SUD - PARIS-UPMC - TOURS

                    Add to Reading List

                    Source URL: www.polytech-reseau.org

                    - Date: 2016-06-07 05:11:58
                      UPDATE