3526 articles – 5249 references  [version française]
.:. Browse > List by year > 2007 .:.
686 documents ordered by :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Zalinescu E.
Université Henri Poincaré - Nancy I (17/12/2007), Véronique Cortier (Dir.) [tel-00338362 - version 1]
fulltext access Du parallélisme connexionniste à une pratique de calcul distribué numérique bio-inspiré
Girau B.
Université Nancy II (14/12/2007), Jean-François Mari (Pr.) [tel-00337399 - version 1]
fulltext access Performances des fonctions et architectures de supervision de réseaux et de services
Lahmadi A.
Université Nancy II (11/12/2007), Olivier Festor (Dir.) [tel-00208049 - version 1]
fulltext access De la caractérisation de l'expression de la demande à la conception innovante
Goria S.
Dans 3emes Ateliers de la Recherche en Design : le sujet dans le design (2007) ? [halshs-00182710 - version 1]
fulltext access Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
Rehm J., Cansell D.
Dans ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation RNTI-SM-1 (2007) 179-190 [hal-00184837 - version 1]
Distribution of a Stochastic Control Algorithm Applied to Gas Storage Valuation
Makassikis C., Vialle S., Warin X.
Dans 2007 IEEE International Symposium on Signal Processing and Information Technology - ISSPIT-2007 (2007) 493-498 [hal-00246680 - version 1]
Aspects de la réingénierie des modèles UML par analyse de données relationnelles
Hacene Rouane M., Dao M., Huchard M., Valtchev P.
Ingénierie des Systèmes d'information (RSTI série) - Modèles et espace technologique des systèmes d'information 12, 5 (2007) 39-68 [lirmm-00201467 - version 1]
fulltext access Anti-Pattern Matching Modulo
Kirchner C., Kopetz R., Moreau P.-E.
(2007) [inria-00129421 - version 3]
fulltext access Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs
Hördegen H.
Université Henri Poincaré - Nancy I (29/11/2007), Michaël Rusinowitch (Dir.) [tel-00193300 - version 1]
fulltext access SVM Multiclasses, Théorie et Applications
Guermeur Y.
Université Henri Poincaré - Nancy I (28/11/2007), Karl Tombre (Pr.) [tel-00203086 - version 1]