[Untitled]

Autor: Pascale Minet, Philippe Jacquet, Paul Muhlethaler, Nicolas Rivierre

Publikováno v: Wireless Personal Communications. 4:51-63

Radio LANs are emerging in the computing world. They are supported by distinct configurations: on the one hand radio LANs with base stations and a wired backbone, on the other hand radio LANs implementing Intra-forwarding. Adding a new node in a radi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4c3420815f8cd3c48fd1de8bc82c6f01
https://doi.org/10.1023/a:1008861218989

[Untitled]

Autor: Pascale Minet, Philippe Jacquet, Nicolas Rivierre, Paul Muhlethaler

Publikováno v: Wireless Personal Communications. 4:11-25

HIPERLAN will provide a 23.5 Mbps data rate transmission to radio channel user. The medium access control is based on carrier sense (CSMA) and on active signaling. Active signaling is an original feature which makes it possible to merge priority cont

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b356f7b0bcc22a0f44fb8f90897b0dd7
https://doi.org/10.1023/a:1008801319428

QoS Policies for Business Processes in Service Oriented Architectures

Autor: Nicolas Rivierre, Thomas Ledoux, Fabien Baligand

Publikováno v: Service-Oriented Computing – ICSOC 2008
International Conference on Service Oriented Computing
International Conference on Service Oriented Computing, Dec 2008, Sydney, Australia. pp.483-497
Service-Oriented Computing – ICSOC 2007 ISBN: 9783540749738
ICSOC
HAL

International audience; The advent of Service Oriented Architectures tends to promote a new kind of software architecture where services, exposing features accessible through highly standardized protocols, are composed in a loose coupling way. In suc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dce616ee14eed9df6d64f0bbabd0c99a
https://hal.science/hal-00468471

Composite Contract Enforcement in Hierarchical Component Systems

Autor: Alain Ozanne, Jacques Malenfant, Nicolas Rivierre, Philippe Collet

Publikováno v: ETAPS 2007, 6th International Symposium on Software Composition (SC 2007)
ETAPS 2007, 6th International Symposium on Software Composition (SC 2007), Mar 2007, Braga, Portugal. pp.18-33, ⟨10.1007/978-3-540-77351-1_3⟩
Software Composition ISBN: 9783540773504
Software Composition

International audience; Abadi and Lamport established a general theorem for composing specifications [1] . Based on an assume-guarantee principle, it enables one to prove the specification of a composite system from the ones of its components. But th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84af70837dd7f42a0e6c5305ac2e6278
https://hal.archives-ouvertes.fr/hal-01334910

Towards a Versatile Contract Model to Organize Behavioral Specifications

Autor: Nicolas Rivierre, Alain Ozanne, Philippe Collet

Publikováno v: 33rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 07
33rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 07, Jan 2007, Harrachov, Czech Republic. pp.844-855, ⟨10.1007/978-3-540-69507-3_73⟩
Lecture Notes in Computer Science ISBN: 9783540695066
SOFSEM (1)

International audience; The dependability of component-based systems mainly relies on the ability to guarantee the safe collaboration of components. Many specification formalisms can then be used and we argue that such specifications should be organi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::acf736cf078be2dbaf2afc527f6880ef
https://hal.archives-ouvertes.fr/hal-01334905