| 41 |
Un routage inductif pour une meilleure garantie de service dans les réseaux de communication
|
|
|
|
In: Conférence Internationale Francophone d’Automatique (CIFA) ; https://hal.archives-ouvertes.fr/hal-01678722 ; Conférence Internationale Francophone d’Automatique (CIFA), 2012, Grenoble, France (2012)
|
|
BASE
|
|
Show details
|
|
|
| 42 |
Text Mining Methods Applied to Mathematical Texts
|
|
|
|
In: Proceedings CICM 2012 : Conferences on Intelligent Computer Mathematics ; CICM 2012 : Conferences on Intelligent Computer Mathematics ; https://hal.archives-ouvertes.fr/hal-01864536 ; CICM 2012 : Conferences on Intelligent Computer Mathematics, Jul 2012, Brême, Germany (2012)
|
|
BASE
|
|
Show details
|
|
|
| 43 |
Revisiting Glue Expressiveness in Component-Based Systems
|
|
|
|
In: Lecture Notes in Computer Science ; 13th Conference on Coordination Models and Languages (COORDINATION) ; https://hal.inria.fr/hal-01582994 ; 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 44 |
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models
|
|
|
|
In: Lecture Notes in Computer Science ; 13th Conference on Coordination Models and Languages (COORDINATION) ; https://hal.inria.fr/hal-01582996 ; 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, ⟨10.1007/978-3-642-21464-6_3⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 45 |
VeTo: reference manual
|
|
|
|
In: https://hal.inria.fr/hal-00645913 ; [Research Report] RT-7816, 2011, pp.51 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 46 |
A fuzzy logic based context-aware reminder for elders with mild dementia
|
|
|
|
In: ISG '10 : International Society for Gerontechnology 7th World Conference ; https://hal.archives-ouvertes.fr/hal-00794763 ; ISG '10 : International Society for Gerontechnology 7th World Conference, Mar 2010, Vancouver, Canada. pp.107-108, ⟨10.4017/gt.2010.09.02.015.00⟩ (2010)
|
|
BASE
|
|
Show details
|
|
|
| 47 |
Design and performance analysis of an inductive QoS routing algorithm
|
|
|
|
In: ISSN: 0140-3664 ; EISSN: 1873-703X ; Computer Communications ; https://hal.archives-ouvertes.fr/hal-01678460 ; Computer Communications, Elsevier, 2009, 32 (12), pp.1371-1376 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 48 |
Reusing and Composing Tests with Traits
|
|
|
|
In: TOOLS'09: 47th International Conference on Objects, Components, Models and Patterns ; https://hal.inria.fr/inria-00403568 ; TOOLS'09: 47th International Conference on Objects, Components, Models and Patterns, Oct 2009, New York, United States. pp.252-271 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 49 |
Approche langage au développement du support protocolaire d'applications réseaux
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00359948 ; Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français (2008)
|
|
Abstract:
A network application communicates with other applications according to a set of rules known as a protocol. This communication is managed by the part of the application known as the protocol- handling layer. This protocol-handling layer enables the manipulation of protocol messages. This layer is a critical component of a network application since it represents the interface between the application and the outside world. It must thus satisfy two constraints : it must be efficient to be able to treat a large number of messages and it must be robust to face various attacks targetting the application itself or the underlying platform. Despite these constraints, the development process of this protocol-handling layer still remains rudimentary and requires a high level of expertise. It consists of translating the protocol specification written in a high level formalism such as ABNF towards low level code such as C. The gap between these abstraction levels can entail many errors. This thesis proposes a new language-based approach to the development of protocol-handling layers, to improve their robustness without compromising their performance. Our approach is based on the use of a domain-specific language, Zebu, to specify the protocol-handling layer of network applications that use textual application protocols à la HTTP. The Zebu syntax is very close to that of ABNF, facilitating the adoption of Zebu by domain experts. By annotating the original ABNF specification of a protocol, the Zebu user can dedicate the protocol-handling layer to the needs of a given application. The Zebu compiler first checks the annotated specification for inconsistencies and then generates a protocol-handling layer according to the provided annotations. This protocol- handling layer is made of a set of data structures that represent a message, a parser that fills in these data structures and various stub functions to access these data structures or drive the parsing of a message. By default, the generated message parser only accepts messages that strictly conform to the protocol. This validation criteria can be relaxed for more flexibility and better performance. ; Une application réseau communique avec d'autres applications par le biais d'un ensemble consen- suel de règles régissant la communication, appelé protocole. Cette communication est gérée par la partie de l'application connue comme la couche de support protocolaire qui gère la manipulation de messages protocolaires. Elle s'avère être un composant critique d'une application réseau puisqu'elle représente l'interface entre celle-ci et le monde extérieur. Elle est donc soumise à deux contraintes fortes : une contrainte d'efficacité pour pouvoir traiter un grand nombre de messages et une contrainte de robustesse pour faire face à des attaques visant à déstabiliser l'application ou la plate-forme maté- rielle sous-jacente. Malgré ces contraintes, le processus de développement de cette couche demeure rudimentaire et requiert un haut niveau d'expertise. Il consiste à traduire manuellement une spécifi- cation du protocole écrite dans un formalisme haut niveau comme ABNF vers du code bas niveau tel que du C. Le fossé entre ces niveaux d'abstraction favorise l'apparition d'erreurs. Cette thèse propose une approche langage au développement de la couche de support protocolaire d'applications réseaux, pour améliorer leur robustesse sans compromettre leur performance. Notre ap- proche est fondée sur l'utilisation d'un langage dédié, Zebu, pour décrire la spécification des couches de support protocolaire d'applications réseaux qui utilisent des protocoles applicatifs textuels à la HTTP. La syntaxe de Zebu est très proche de celles du formalisme ABNF, favorisant ainsi l'adoption de Zebu par des experts du domaine. En annotant la spécification ABNF d'un protocole, l'utilisateur de Zebu peut adapter une couche de support protocolaire à une application donnée. Dans un premier temps, le compilateur Zebu vérifie la spécification annotée pour déceler d'éventuelles incohérences. Ensuite, une couche de support protocolaire définie par les annotations fournies est générée automati- quement. Cette couche consiste en un ensemble de structures de données pour représenter un message, un analyseur syntaxique qui remplit ces structures de données et des fonctions utilitaires pour l'ac- cès à ces données ou piloter l'analyse syntaxique des messages. Par défaut, l'analyseur syntaxique de messages généré n'accepte que les messages respectant scrupuleusement la spécification. Ce critère de validation peut être modifié pour plus de flexibilité ou de meilleures performances.
|
|
Keyword:
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]; [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; applications réseaux; Langages dédiés; protocoles textuels génie logiciel
|
|
URL: https://tel.archives-ouvertes.fr/tel-00359948/document
https://tel.archives-ouvertes.fr/tel-00359948/file/thesis.pdf
https://tel.archives-ouvertes.fr/tel-00359948
|
|
BASE
|
|
Hide details
|
|
|
| 50 |
Multilingual and content based access to Flickr images
|
|
|
|
In: Proceedings ICTTA'08 : 3d International Conference on Information & Communication Technologies : from theory to applications ; ICTTA'08 : 3d International Conference on Information & Communication Technologies : from theory to applications ; https://hal.archives-ouvertes.fr/hal-02162040 ; ICTTA'08 : 3d International Conference on Information & Communication Technologies : from theory to applications, Apr 2008, Damascus, Syria. pp.1 - 5, ⟨10.1109/ICTTA.2008.4530012⟩ (2008)
|
|
BASE
|
|
Show details
|
|
|
| 51 |
SAMBA - An agent architecture for ambient intelligence elements interoperability
|
|
|
|
In: 3rd International Conference Interoperability for Enterprise Software and Applications - I-ESA 2007 ; https://hal.inria.fr/inria-00134882 ; 3rd International Conference Interoperability for Enterprise Software and Applications - I-ESA 2007, Mar 2007, Funchal, Portugal. pp.741-752 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 52 |
Data Domain Frameworks for Data Integration ; Canevas de domaines pour l'intégration de données
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00010341 ; Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2005. Français (2005)
|
|
BASE
|
|
Show details
|
|
|
| 53 |
Content annotation for the semantic web
|
|
|
|
In: Knowledge Mining ; https://hal.archives-ouvertes.fr/hal-00005507 ; Spiros Sirmakessis. Knowledge Mining, Springer Verlag, pp.250-262, 2005 (2005)
|
|
BASE
|
|
Show details
|
|
|
| 54 |
Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004)
|
|
BASE
|
|
Show details
|
|
|
| 55 |
Energy-aware Broadcasting in Wireless Networks
|
|
|
|
In: WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks ; https://hal.inria.fr/inria-00466720 ; WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, Mar 2003, Sophia Antipolis, France. 11 p (2003)
|
|
BASE
|
|
Show details
|
|
|
| 56 |
Enhancing the Usability and Performance of Nespole! - a Real-World Speech-to-Speech Translation System
|
|
|
|
In: Human Language Technologies 2002 ; https://hal.inria.fr/inria-00326412 ; Human Language Technologies 2002, Mar 2002, San Diego - California, United States. 6 p (2002)
|
|
BASE
|
|
Show details
|
|
|
| 57 |
Lex-BFS a partition refining technique, application to transitive orientation and consecutive 1's testing
|
|
|
|
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/inria-00471613 ; Theoretical Computer Science, Elsevier, 2000, 234 (2000)
|
|
BASE
|
|
Show details
|
|
|
| 58 |
Multicast Support in XEmacs
|
|
|
|
In: M17N99 Symposium on Multilingual Information Processing ; https://hal.archives-ouvertes.fr/hal-01544282 ; M17N99 Symposium on Multilingual Information Processing, Oct 1999, Tsukuba, Japan (1999)
|
|
BASE
|
|
Show details
|
|
|
| 59 |
Object-Oriented Design of Distributed Algorithms and Network Protocols ; Conception d'algorithmes répartis et de protocoles réseaux en approche objet
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00439136 ; Réseaux et télécommunications [cs.NI]. Conservatoire National des Arts et Métiers - CNAM Paris, 1997. Français (1997)
|
|
BASE
|
|
Show details
|
|
|
| 60 |
Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00142512 ; Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1995. Français (1995)
|
|
BASE
|
|
Show details
|
|
|
|
|
