1. Recherche
33 résultats  enregistrer la recherche


  • 1
  • 2
...
inria-00077535v2  Rapport
Eric Fabre, Albert Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them
[Research Report] RR-5916, INRIA. 2007, pp.38
...
inria-00274193v2  Rapport
Michel Pawlak, Ciaran Bryce, Stéphane Laurière. The Practice of Free and Open Source Software Processes
[Research Report] RR-6519, INRIA. 2008, pp.42
...
inria-00156525v2  Rapport
Debmalya Biswas, Krishnamurthy Vidyasankar. Formalizing Visibility Characteristics in Hierarchical Systems
[Research Report] RR-6225, INRIA. 2007
...
inria-00214235v2  Rapport
Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry. Optimal routing for end-to-end guarantees using Network Calculus
[Research Report] RR-6423, INRIA. 2008, pp.20
...
inria-00123643v2  Rapport
Anne Bouillard, Eric Thierry. An Algorithmic Toolbox for Network Calculus
[Research Report] RR-6094, INRIA. 2007, pp.44
...
inria-00123709v2  Rapport
Anne Bouillard, Eric Thierry. Some examples and counterexamples for (min,+) filtering operations
[Research Report] RR-6095, INRIA. 2007, pp.14
...
inria-00258507v4  Rapport
Kandaraj Piamrat, César Viho, Adlen Ksentini, Jean-Marie Bonnin. Resource Management in Mobile Heterogeneous Networks: State of the Art and Challenges
[Research Report] RR-6459, INRIA. 2008
...
inria-00204548v3  Rapport
Agnes Madalinski, Eric Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings
[Research Report] RR-6412, INRIA. 2007
...
inria-00000370v2  Rapport
Loïc Hélouët. Weakening the Weak Sequential Composition in Scenarios
[Research Report] RR-6262, INRIA. 2005, pp.28
...
inria-00070562v1  Rapport
Julien Pauty, Paul Couderc, Michel Banâtre. Atomic token passing in the context of spontaneous communications
[Research Report] RR-5445, INRIA. 2005, pp.20
...
inria-00070750v1  Rapport
Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics
[Research Report] RR-5248, INRIA. 2004, pp.25
...
inria-00276627v2  Rapport
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Monotony in Service Orchestrations
[Research Report] RR-6528, INRIA. 2008
...
inria-00070243v1  Rapport
Thomas Chatain, Loïc Hélouët, Claude Jard. On the use of unfoldings to abstract communicating automata into sets of scenarios
[Research Report] RR-5778, INRIA. 2005, pp.23
...
inria-00070282v1  Rapport
Thomas Gazagnaire, Loïc Hélouët, Claude Jard. Online Abstraction of Distributed Executions
[Research Report] RR-5736, INRIA. 2005, pp.28
...
inria-00070310v1  Rapport
Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets
[Research Report] RR-5706, INRIA. 2005, pp.19
...
inria-00070296v1  Rapport
Eric Fabre. On the construction of pullbacks for safe Petri nets
[Research Report] RR-5722, INRIA. 2005, pp.13
...
inria-00070452v1  Rapport
Eric Fabre. Trellis Processes : a Compact Representation for Runs of Concurrent Systems
[Research Report] RR-5554, INRIA. 2005, pp.34
...
inria-00070511v1  Rapport
Julien Pauty, Paul Couderc, Michel Banâtre. Using Context to Combine Virtual and Physical Navigation
[Research Report] RR-5496, INRIA. 2005, pp.15
...
inria-00070555v1  Rapport
Arnaud Guiton, Michel Banâtre. An experimental study of Java objects behaviour for mobile architectures
[Research Report] RR-5452, INRIA. 2005, pp.24
...
inria-00071640v1  Rapport
Arnaud Troël, Frédéric Weis, Michel Banâtre. Représentation du voisinage physique dans les interactions de proximité
[Rapport de recherche] RR-4939, INRIA. 2003
...
inria-00071743v1  Rapport
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard. Distributed monitoring of concurrent and asynchronous systems---extended version
[Research Report] RR-4842, INRIA. 2004
...
inria-00071760v1  Rapport
Julien Pauty, Gilbert Cabillic. Local Checkpointing for Embedded Java Applications
[Research Report] RR-4826, INRIA. 2003
...
inria-00071489v1  Rapport
Julien Pauty, Paul Couderc, Michel Banâtre. Synthèse des méthodes de programmation en informatique contextuelle
[Rapport de recherche] RR-5094, INRIA. 2004
...
inria-00071599v1  Rapport
Arnaud Troël, Frédéric Weis, Michel Banâtre. Découverte automatique entre terminaux mobiles communicants
[Rapport de recherche] RR-4979, INRIA. 2003
...
inria-00071402v1  Rapport
Eric Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case
[Research Report] RR-5186, INRIA. 2004
...
inria-00071806v1  Rapport
David Touzet, Frédéric Weis, Michel Banâtre. PERSEND : Enabling Continuous Queries in Proximate Environments
[Research Report] RR-4780, INRIA. 2003
...
inria-00070655v1  Rapport
Samy Abbes, Albert Benveniste. Branching cells as local states for event structures and nets: probabilistic applications
[Research Report] RR-5347, INRIA. 2004, pp.24
...
inria-00070380v1  Rapport
Mazen Tlais, Frédéric Weis. Mobility prediction in 4G D-Cov Networks
[Research Report] RR-5628, INRIA. 2005, pp.23
...
inria-00071866v1  Rapport
Arnaud Troël, Frédéric Weis, Michel Banâtre. Prise en compte du mouvement dans les systèmes de communication sans-fil
[Rapport de recherche] RR-4720, INRIA. 2003
...
inria-00072098v1  Rapport
David Touzet, Frédéric Weis, Michel Banâtre. Accès à l'Information en Ubiquité Numérique
[Rapport de recherche] RR-4490, INRIA. 2002
  • 1
  • 2

Contact


archive-ouverte@inria.fr