466 citations
- Université Grenoble AlpesFR23 papers
- Institut national de recherche en sciences et technologies du numériqueFR22 papers
- Centre National de la Recherche ScientifiqueFR12 papers
- Institut polytechnique de GrenobleFR4 papers
- Université Paris CitéFR4 papers
- École Normale Supérieure de LyonFR3 papers
- Institut de Planétologie et d'Astrophysique de GrenobleFR3 papers
- University of OxfordGB3 papers
- Délégation Paris 7FR2 papers
- Laboratoire de l'Informatique du ParallélismeFR2 papers
- Lyon 1 UniversitéFR2 papers
- Technische Universität BraunschweigDE2 papers
4 papers · 1 filter
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Meriem Ouederni, Gwen Salaün
One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at…
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Gwen Salaün
Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and to…
LinBox founding scope allocation, parallel building blocks, and separate compilation
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet +1
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library \linbox, must always occur in the founding scope. This provides a simpl…
Handling Data-Based Concurrency in Context-Aware Service Protocols
Javier Cubo, Ernesto Pimentel, Gwen Salaün +1
Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose…