LINA

Results: 799



#Item
51

Probabilistic QoS and soft contracts for transaction based Web services orchestrations Albert Benveniste IRISA/INRIA Rennes, France

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: English - Date: 2013-07-03 04:01:35
    52

    Symbolic Diagnosis of Partially Observable Concurrent Systems ∗ Claude Jard † Thomas Chatain

    Add to Reading List

    Source URL: pagesperso.lina.univ-nantes.fr

    Language: English - Date: 2013-07-03 04:01:35
      53

      PDF Document

      Add to Reading List

      Source URL: pagesperso.lina.univ-nantes.fr

      Language: French - Date: 2013-04-15 08:12:54
        54

        Unfoldings of Networks of Automata and their Application in Supervision Bartosz Grabiec INRIA, IRISA Campus de Beaulieu, FRennes, France

        Add to Reading List

        Source URL: pagesperso.lina.univ-nantes.fr

        Language: English - Date: 2013-07-03 04:01:35
          55

          Scenario realizability with constraint optimization? Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes,

          Add to Reading List

          Source URL: pagesperso.lina.univ-nantes.fr

          Language: English - Date: 2013-07-03 04:01:35
            56

            Symbolic Unfoldings For Networks of Timed Automata Franck Cassez1⋆ , Thomas Chatain2 and Claude Jard3 1 2 3

            Add to Reading List

            Source URL: pagesperso.lina.univ-nantes.fr

            Language: English - Date: 2013-07-03 04:01:35
              57

              Placebo, control groups and the challenge of inferring causality Development team: Dr. Itay Asher and Dr. Iris Tabak, Ben Gurion University of the Negev; Israel; Samira Nasser, Beit Berl College, Israel; Lina Ganaim, Al-

              Add to Reading List

              Source URL: faculty.washington.edu

              Language: English - Date: 2009-09-30 15:59:06
                58

                ENSEÑANZA DE LA INVESTIGACIÓN EN EDUCACIÓN SUPERIOR. ESTADO DEL ARTE)* Lillyam López de Parra* Xilena Hernández-Durán** Lina Fernanda Quintero-Romero***

                Add to Reading List

                Source URL: latinoamericana.ucaldas.edu.co

                Language: Spanish - Date: 2018-04-17 22:56:42
                  59

                  International Epidemiological Association (IEA) Business Meeting August 18, 2014 Dena’lina Civic and Convention Center, Anchorage, Alaska, USA Minutes The IEA Business Meeting was opened at 18:00 by the President, Cesa

                  Add to Reading List

                  Source URL: ieaweb.org

                  Language: English - Date: 2017-08-15 15:01:12
                    60

                    FORMEDTeaching Distributed Algorithms Using SPIN Claude Jard1 Universit´ e Europ´

                    Add to Reading List

                    Source URL: pagesperso.lina.univ-nantes.fr

                    Language: English - Date: 2013-07-03 04:01:35
                      UPDATE