Modele de csse

Modélisation et vérification des systèmes distribués en temps réel à l`aide de machines à états finis périodiques R Obermaisser, C El-Salloum, B Huber et H Kopetz modélisation et analyse des problèmes restants et planification du temps de libération dans des logiciels open source à plusieurs versions en utilisant mesure à base d`entropie Meera Sharma, H Pham et V B Singh numéro spécial: gestion des données mobiles: modèles, méthodologies et services Frank Morovan et abdelkader Hameurlain prévisions des ressources d`exécution pilotées par modèle pour les systèmes mécatroniques avancés avec dynamique structures de données Stefan Henkler, Simon Oberthür, Holger Giese et Andreas Seibel modèle piloté développement de systèmes ferroviaires en utilisant la diversité Michele Banci, Stefania Gnesi, Alessandro Fantechi et Giovanni Lombardi modèle vérifiant les comportements d`enchères dans Internet enchères simultanées Haiping Xu et Yi-Tsung Cheng modélisation des modes d`interaction du service gang Xue, Tony Chen, Gang HE et Shaowen Yao modélisation et analyse des propriétés stochastiques de mobilité dans les réseaux de radio cognitive Jianfeng Guan, Wei Quan, Lili Wang, Changqiao Xu, Feilong Tang et Hongke Zhang une approche fondée sur le phonème pour éliminer le problème de la reconnaissance vocale turque à l`aide de Markov caché modèle Erdem Yavuz et Vedat Topuz modèle de décision pour un système de commencer à communiquer avec un homme Makoto Murakami, Motoi Yamagiwa et Minoru Uehara modélisation des systèmes de contrôle en temps réel déclenchés par le temps en utilisant le modèle exécutable à déclenchement temporel (E-TTM) et systemC-AMS Jon Perez, roman Obermaisser, Carlos F. Nicolas et IBAN Ayestaran A infrastructure de gestion de la qualité du contexte pour l`environnement complexe omniprésent Siliang Tang, Jianhua Yang et Zhaohui Wu Fabric localisation des défauts en utilisant les variances linéaires des images d`homogénéité locale A rebhi, S Abid et F fnaiech. Conception d`un respirateur mécanique à base de LabVIEW floue Hasan Guler et Fikret ATA. Regrouper les signatures indéniables avec la convertibilité Yuh-Dauh Lyuu et Ming-Luen Wu. Une approche basée sur la distance pour l`analyse des liens dans la récupération d`informations XML m`hamed mataoui et Mohamed mezghiche. Générer des flux de connaissances associés dans des pages Web à grande échelle en fonction de l`interaction de l`utilisateur Shunxiang Zhang, Kui lu, wenjuan Liu, Xiaobo Yin et Guangli Zhu allocation de ressources basée sur l`utilitaire dans des environnements sans fil hétérogènes utilisant la théorie du jeu Yuhoing Li, Liang Yu, Tao Li, Yishan Li et Yan Shi solution logicielle intégrée et interactive pour la conception de réseaux d`approvisionnement fondés sur la connaissance Nenad Stefanovic et Dusan Stefanovic signatures de longueur variable pour la détection d`intrusion zhuowei Li, Amitabha das, Jianying Zhou et Jagdish C Patra numéro spécial: Elastic Data Management dans les systèmes Cloud éditeurs invités: abdelkader Hameurlain et Riad mokadem. ADL-RAID: mise en page des données d`économie d`énergie pour les charges dynamiques Youxi Wu, Shengyuan Shi, Jingyu Liu et Huaizhong Zhu analyse basée sur un cluster et recommandation de vendeurs dans les ventes aux enchères en ligne Mikolaj Morzy. Amélioration de la sécurité d`un protocole de routage anonyme sécurisé avec échange de clés authentifié pour les réseaux ad hoc Chua-ta Li, min-Shiang Hwang et Yen-Ping Chu une représentation compacte des fonctions et une nouvelle pondération dans la récupération d`image basée sur le contenu Gita das et sid Ray un algorithme génétique avec la sélection floue et la recherche locale pour le problème de routage de multidiffusion sur la contrainte de QoS Rung-Ching Chen et Cheun-Chieh Liao conception de la température de serre et le système de mesure d`humidité basé sur la technologie ZigBee Xuejun Tian, Jianliang Li et Lihua Luo.

Posted in Uncategorized