JARD, CLAUDE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Lecture Notes in Computer Science] Modeling and Verification of Parallel Processes Volume 2067 ||

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Year:

2001

Language:

english

File:

PDF, 2.27 MB

english, 2001

52

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - Probabilistic QoS and soft contracts for transaction based Web services

Rosario, Sidney, Benveniste, Albert, Haar, Stefan, Jard, Claude

Year:

2007

Language:

english

File:

PDF, 476 KB

english, 2007

53

[Lecture Notes in Computer Science] Modeling and Verification of Parallel Processes Volume 2067 || Mobile Processes: A Commented Bibliography

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Year:

2001

Language:

english

File:

PDF, 179 KB

english, 2001

54

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - Variability Modeling and QoS Analysis of Web Services Orchestrations

Kattepur, Ajay, Sen, Sagar, Baudry, Benoit, Benveniste, Albert, Jard, Claude

Year:

2010

Language:

english

File:

PDF, 513 KB

english, 2010

55

[Lecture Notes in Computer Science] Modeling and Verification of Parallel Processes Volume 2067 || Model Checking: A Tutorial Overview

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Year:

2001

Language:

english

File:

PDF, 413 KB

english, 2001

56

[Lecture Notes in Computer Science] Modeling and Verification of Parallel Processes Volume 2067 || Composition and Abstraction

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Year:

2001

Language:

english

File:

PDF, 416 KB

english, 2001

57

INCREMENTAL TRANSITIVE DEPENDENCY TRACKING IN DISTRIBUTED COMPUTATIONS

JARD, CLAUDE, JOURDAN, GUY-VINCENT

Journal:

Parallel Processing Letters

Year:

1996

Language:

english

File:

PDF, 506 KB

english, 1996

58

[ACM Press Proceeding of the 6th international symposium - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems - SEAMS '11 - Pairwise testing of dynamic composite services

Kattepur, Ajay, Sen, Sagar, Baudry, Benoit, Benveniste, Albert, Jard, Claude

Year:

2011

Language:

english

File:

PDF, 1.28 MB

english, 2011

59

Towards energy-proportional clouds partially powered by renewable energy

Beldiceanu, Nicolas, Feris, Bárbara Dumas, Gravey, Philippe, Hasan, Sabbir, Jard, Claude, Ledoux, Thomas, Li, Yunbo, Lime, Didier, Madi-Wamba, Gilles, Menaud, Jean-Marc, Morel, Pascal, Morvan, Michel,

Journal:

Year:

2017

Language:

english

File:

PDF, 1.71 MB

english, 2017

60

Characterization of a Novel, Linear Radioiodinated Vasopressin Antagonist: An Excellent Radioligand for Vasopressin V1a Receptors

Barberis, Claude, Balestre, Marie-Noëlle, Jard, Serge, Tribollet, Eliane, Arsenijevic, Yvan, Dreifuss, Jean Jacques, Bankowski, Krysztof, Manning, Maurice, Chan, Walter Y., Schlosser, Stephan S., Hols

Journal:

Neuroendocrinology

Year:

2008

File:

PDF, 2.23 MB

2008

61

On-line computations of the ideal lattice of posets

Jard, Claude, Jourdan, Guy-Vincent, Rampon, Jean-Xavier

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

1995

File:

PDF, 1.49 MB

1995

62

Experimental and modelling evidence of short-term effect of raindrop impact on hydraulic conductivity and overland flow intensity

Mügler, Claude, Ribolzi, Olivier, Janeau, Jean-Louis, Rochelle-Newall, Emma, Latsachack, Keooudone, Thammahacksa, Chanthamousone, Viguier, Marion, Jardé, Emilie, Henri-Des-Tureaux, Thierry, Sengtaheua

Journal:

Journal of Hydrology

Year:

2019

Language:

english

File:

PDF, 571 KB

english, 2019