|
||
---|---|---|
inria-00098405v1
Journal articles
Tool Integration in Distributed Environments: an Experience Report in a Manufacturing Framework Journal of Systems Integration, Springer Verlag, 1998, 8 (1), pp.31-51. ⟨10.1023/A:1008253401221⟩ ![]() |
||
inria-00100903v1
Conference papers
Open issues in fieldbus based systems 15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02, 2002, Barcelona/Spain, 5 p |
||
inria-00099247v1
Conference papers
Databases: Elements of their Story (A Tutorial) 10th International Database Symposium on Mobile, XML and Post-relational Databases, Hong Kong Web Society & City University of Hong Kong, 2000, Hong Kong, China, 250 (slides) p |
||
tel-00849402v2
Theses
Dynamic Synthesis of Mediators in Ubiquitous Environments Ubiquitous Computing. Université Pierre et Marie Curie - Paris VI, 2013. English |
||
inria-00629057v1
Book sections
Interoperability in Complex Distributed Systems Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, Springer, 2011 |
||
hal-00710623v1
Conference papers
R-MOM: A Component-Based Framework for Interoperable and Adaptive Asynchronous Middleware Systems First International Workshop on Service and Cloud Based Data Integration (SCDI) at the 16th IEEE International EDOC Conference, Sep 2012, Beijing, China. pp.204-213, ⟨10.1109/EDOCW.2012.35⟩ |
||
hal-00721280v1
Conference papers
Achieving Interoperability through Semantics-based Technologies: The Instant Messaging Case ISWC 2012 - 11th International Semantic Web Conference, Nov 2012, Boston, United States |
||
hal-02072544v1
Journal articles
Universal Social Network Bus: Towards the Federation of Heterogeneous Online Social Network Services ACM Transactions on Internet Technology, Association for Computing Machinery, In press, ⟨10.1145/3323333⟩ |
||
inria-00392809v1
Conference papers
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 14th IEEE International Conference on Engineering of Complex Computer Systems, Jun 2009, Postdam, Germany. pp.154-161, ⟨10.1109/ICECCS.2009.44⟩ |
||
inria-00479661v1
Journal articles
Peer-to-peer visualization of very large 3D landscape and city models using MPEG-4 Signal Processing: Image Communication, Elsevier, 2009, Signal Processing: Image Communication, 24 (1-2), pp.115 - 121. ⟨10.1016/j.image.2008.10.012⟩ |
||
hal-00399881v1
Journal articles
Beyond institutional repositories International Journal of Digital Library Systems, IGI Global, 2010, 1 (1), pp.44-61 |
||
hal-00123997v2
Journal articles
Trustworthy Assembly of Components using B Refinement e-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p |
||
hal-01668250v1
Preprints, Working Papers, ...
Exporting an Arithmetic Library from Dedukti to HOL 2017 |
||
inria-00107773v1
Conference papers
Principes et mise en oeuvre de l'interopérabilité dans le système d'analyse de documents Qgar Colloque International Francophone sur l'Ecrit et le Document - CIFED 2004, 2004, La Rochelle, France, pp.91-96 |
||
hal-00694700v1
Conference papers
A Federated Multi-Cloud PaaS Infrastructure CLOUD 2012 - 5th IEEE International Conference on Cloud Computing, Jun 2012, hawaii, United States. pp.392 - 399, ⟨10.1109/CLOUD.2012.79⟩ |
||
hal-01244763v1
Conference papers
A Distributed Test System Architecture for Open-source IoT Software ACM MobiSys Workshop on IoT challenges in Mobile and Industrial Systems (IoT-Sys-2015), May 2015, Florence, Italy. ⟨10.1145/2753476.2753481⟩ |
||
hal-02304074v1
Journal articles
Automated synthesis of mediators for middleware-layer protocol interoperability in the IoT Future Generation Computer Systems, Elsevier, 2019, 101, pp.1271-1294. ⟨10.1016/j.future.2019.05.064⟩ |
||
hal-02924909v1
Journal articles
SBML Level 3: an extensible format for the exchange and reuse of biological models Molecular Systems Biology, EMBO Press, 2020, 16 (8), pp.1-21. ⟨10.15252/msb.20199110⟩ |
||
tel-01415945v1
Theses
Object-Oriented Mechanisms for Interoperability between Proof Systems Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English |
||
hal-01858004v1
Conference papers
F-Interop Platform and Tools: Validating IoT Implementations Faster AdHoc-Now 2018 - 17th International Conference on Ad Hoc Networks and Wireless, Sep 2018, Saint Malo, France. pp.1-12 |
||
tel-01083286v1
Theses
Loose coupling and substitution principle in objet-oriented frameworks for web services Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0115⟩ |
||
hal-01887586v1
Journal articles
Argobots: A Lightweight Low-Level Threading and Tasking Framework IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2018, 29 (3), pp.512 - 526. ⟨10.1109/TPDS.2017.2766062⟩ ![]() |
||
hal-01700565v1
Journal articles
La liberté à l'ère numérique Politeia - Les Cahiers de l'Association Française des Auditeurs de l'Académie Internationale de Droit constitutionnel, Association française des auditeurs de l'Académie internationale de droit constitutionnel, 2017, Les métamorphoses des droits fondamentaux à l'ère du numérique, 31, pp.161-172 |
||
|
||
|
||
inria-00542314v1
Conference papers
A Walk Trough Semantic Interoperability of Entreprise Systems: A Tutorial Conference Africaine en Informatique et Mathématiques Appliquées, Oct 2010, Yamoussoukro, Côte d’Ivoire |
||
inria-00336247v1
Conference papers
Interoperability issues on the design of safe in-vehicle embedded systems Fourth Taiwanese-French Conference on Information Technology (TFIT 2008), Mar 2008, Taipei, Taiwan. pp.11-20 |
||
pasteur-03680151v1
Journal articles
ELIXIR and Toxicology: a community in development F1000Research, Faculty of 1000, 2021, 10, pp.1129. ⟨10.12688/f1000research.74502.1⟩ |
||
inria-00000579v1
Conference papers
Adapting HPM to B2M interoperability issues: Towards Interoperability between Business Management Level and Shop Floor Level Doctoral symposium in INTEROP-ESA'05 - First International Conference on Interoperability of Enterprise Software and Applications, Feb 2005, Genève/Suisse |
||
inria-00000446v1
Conference papers
An Architecture for the Interoperability of Workflow Models 1st International ACM Workshop on Interoperability of Heterogeneous Information Systems - IHIS'05, Oct 2005, Bremen/Germany, pp.31-38, ⟨10.1145/1096967.1096975⟩ |
||
|