Contexte And NotVeronica Cardill
List of bibliographic references
Number of relevant bibliographic references: 11.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000152 | Thouraya Guizani [Tunisie, France] ; Pierre Ladet [France] | Modélisation de l' « architecture métier » dans le contexte des systèmes hospitaliers: Synthèse des besoins et comparaison de techniques de modélisation |
| 000429 | Olivier Bonami [France] ; Gilles Boye [France] ; Jesse Tseng [France] | Sur la grammaire des consonnes latentes |
| 000640 | Claude Chaudet [France] ; Olivier Festor [France] ; Isabelle Guerin Lassous [France] ; Radu State [France] | A managed bandwidth reservation protocol for ad hoc networks |
| 000653 | Alexandre Delteil [France] ; Catherine Faron [France] ; Rose Dieng [France] | Le modèle des graphes conceptuels pour le web sémantique: Extensions de RDF et RDFS basées sur le modèle des graphes conceptuels |
| 000686 | Sylvain Salvati [France] ; Philippe De Groote [France] | On the complexity of higher-order matching in the linear λ-Calculus |
| 000693 | Lutz Strassburger [France] | MELL in the calculus of structures |
| 000716 | R. State [France] ; O. Festor [France] ; I. Chrisment [France] | Context driven access control to SNMP MIB objects in multi-homed environments |
| 000737 | Olivier Perrin [France] ; Claude Godart [France] | A contract model to deploy and control cooperative processes |
| 000963 | A. Felty [États-Unis] | The calculus of constructions as a framework for proof search with set variable instantiation |
| 000A05 | I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis] | Efficient resource management for linear logic proof search |
| 000D30 | K. Tombre [France] | Graphics recognition : general context and challenges |
| This area was generated with Dilib version V0.6.33. |  |