Search Results - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability"

A Meta-Agent Based Approach to Exploit the Collective Product of Mobile Cyber-Physical Collectives

Authors: Khenifar, Afra Jamont, Jean-Paul Occello, Michel et al.

Contributors: Khenifar, Afra Jamont, Jean-Paul Occello, Michel et al.

Source: Front Robot AI
Frontiers in Robotics and AI, Vol 9 (2022)

Subject Terms: Robotics and AI, interoperability, collective product, QA75.5-76.95, 02 engineering and technology, exploitation of emergent, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, Electronic computers. Computer science, phenomenon, TJ1-1570, 0202 electrical engineering, electronic engineering, information engineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.1: Intelligent agents, [INFO]Computer Science [cs], multi-agent systems, Mechanical engineering and machinery, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.3: Multiagent systems, Wireless Sensor Network

Access URL: https://pubmed.ncbi.nlm.nih.gov/35813852
https://doaj.org/article/4afa89039c424131a286a4db1b173a3f

Describe and Publish in the Web of Linked Data the evolutive divisions of the territory used as a support to statistical data ; TSN et TSN-change : ontologies pour représenter l'évolution des découpages territoriaux statistiques

Authors: Bernard, Camille Villanova-Oliver, Marlène Gensel, Jérôme et al.

Contributors: Bernard, Camille Villanova-Oliver, Marlène Gensel, Jérôme et al.

Source: SAGEO 2017 - Spatial Analysis and GEOmatics ; https://hal.science/hal-01634424 ; SAGEO 2017 - Spatial Analysis and GEOmatics, GdR Magis CNRS, Nov 2017, Rouen, France ; https://sageo2017.sciencesconf.org/

Subject Terms: Territorial Statistical Nomenclature, Spatio-temporal Ontology, NUTS, Change Ontology, Web of Linked Data, Spatio-temporelle ontologie, Ontologie du changement, Nomenclature Territoriale Statistique, Web des Données Liées, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.8: Database Applications/H.2.8.3: Spatial databases and GIS, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.5: Online Information Services, [INFO]Computer Science [cs], [INFO.INFO-WB]Computer Science [cs]/Web, [SHS.GEO]Humanities and Social Sciences/Geography, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Subject Geographic: Rouen, France

Availability: https://hal.science/hal-01634424
https://hal.science/hal-01634424v2/document
https://hal.science/hal-01634424v2/file/sageo.pdf

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

Authors: Mateescu, Radu Poizat, Pascal Salaün, Gwen et al.

Contributors: Mateescu, Radu Poizat, Pascal Salaün, Gwen et al.

Source: Lecture Notes in Computer Science ISBN: 9783540749738

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-WB] Computer Science [cs]/Web, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], protocols, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, adaptation contracts, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, interfaces, tools, service composition, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, software adaptation, verification, mismatch, process algebra, on-the-fly generation

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-00717252/file/MPS-TSE-2011.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-540-89652-4_10.pdf
https://inria.hal.science/hal-00717252v1/document
https://doi.org/10.1109/tse.2011.62
https://inria.hal.science/hal-00717252v1
https://dblp.uni-trier.de/db/conf/icsoc/icsoc2008.html#MateescuPS08
https://hal.inria.fr/inria-00341598
https://link.springer.com/content/pdf/10.1007/978-3-540-89652-4_10.pdf
https://hal.inria.fr/inria-00341598/document
https://link.springer.com/chapter/10.1007/978-3-540-89652-4_10

CapiTainS Toolkit, Digital Editing and Data Reuse ; Les outils CapiTainS, l’édition numérique et l’exploitation des textes

Authors: Clérice, Thibault Centre Jean Mabillon (CJM) École nationale des chartes (ENC) et al.

Contributors: Clérice, Thibault Centre Jean Mabillon (CJM) École nationale des chartes (ENC) et al.

Source: ISSN: 0751-2708.

Subject Terms: réutilisation, édition, standard, moissonnage, valorisation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [SHS]Humanities and Social Sciences, [SHS.LITT]Humanities and Social Sciences/Literature, [INFO]Computer Science [cs]

Availability: https://hal.science/hal-02892280
https://hal.science/hal-02892280v1/document
https://hal.science/hal-02892280v1/file/Article%20CapiTainS.pdf
https://doi.org/10.4000/medievales.8211

Demo: OneLab: Major Computer Networking Testbeds for IoT and Wireless Experimentation

Authors: Baron, Loïc Boubekeur, Fadwa Klacza, Radomir et al.

Contributors: Baron, Loïc Boubekeur, Fadwa Klacza, Radomir et al.

Source: MobiCom '15: Proceedings of the 21st Annual International Conference on Mobile Computing and Networking ; MobiCom 2015 ; https://hal.science/hal-01305359 ; MobiCom 2015, ACM, Sep 2015, Paris, France. ⟨10.1145/2789168.2789180⟩ ; http://www.sigmobile.org/mobicom/2015/

Subject Terms: testbeds, distributed systems, routing protocols, Internet of Things, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET]

Subject Geographic: Paris, France

Relation: info:eu-repo/grantAgreement/EC/FP7/287581/EU/OpenLab: extending FIRE testbeds and tools/OPENLAB

Availability: https://hal.science/hal-01305359
https://hal.science/hal-01305359v1/document
https://hal.science/hal-01305359v1/file/p199-baron.pdf
https://doi.org/10.1145/2789168.2789180

Formal semantic annotations for models interoperability in a PLM environment ; Annotations sémantique formelle pour l'intéropérabilité des modèles dans un environnement PL

Authors: Liao, Yongxin Lezoche, Mario Panetto, Hervé et al.

Contributors: Liao, Yongxin Lezoche, Mario Panetto, Hervé et al.

Source: 19th IFAC World Congress, IFAC'14
https://hal.science/hal-01082576
19th IFAC World Congress, IFAC'14, International Federation of Automatic Control, Aug 2014, Cape Town, South Africa. pp.2382-2393, ⟨10.3182/20140824-6-ZA-1003.02551⟩
http://www.ifac2014.org/

Subject Terms: Formalization, Semantic Interoperability, Models, Product Lifecycle Management, Semantic Annotation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING/B.1.2: Control Structure Performance Analysis and Design Aids/B.1.2.1: Formal models, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]

Subject Geographic: Cape Town, South Africa

Time: Cape Town, South Africa

Availability: https://hal.science/hal-01082576
https://hal.science/hal-01082576v1/document
https://hal.science/hal-01082576v1/file/Formal_semantic_annotation_in_PLM_environment.pdf
https://doi.org/10.3182/20140824-6-ZA-1003.02551

Simulation in the Cloud Using Handheld Devices

Authors: Mancini, Emilio P. Wainer, Gabriel Al-Zoubi, Khaldoon et al.

Contributors: Mancini, Emilio P. Wainer, Gabriel Al-Zoubi, Khaldoon et al.

Source: MSGC@CCGRID - Workshop on Modeling and Simulation on Grid and Cloud Computing - 2012 ; https://inria.hal.science/hal-00691248 ; MSGC@CCGRID - Workshop on Modeling and Simulation on Grid and Cloud Computing - 2012, Wainer, Gabriel and Hill, David and Taylor, Simon, May 2012, Ottawa, Canada. pp.867 -872, ⟨10.1109/CCGrid.2012.65⟩

Subject Terms: ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Ottawa

Time: Ottawa, Canada

Availability: https://inria.hal.science/hal-00691248
https://inria.hal.science/hal-00691248v1/document
https://inria.hal.science/hal-00691248v1/file/paper_6p.pdf
https://doi.org/10.1109/CCGrid.2012.65

Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability

Authors: Issarny, Valérie Bennaceur, Amel Bromberg, Yérom-David et al.

Contributors: Issarny, Valérie Bennaceur, Amel Bromberg, Yérom-David et al.

Source: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems
https://inria.hal.science/inria-00586630
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, 6659, Springer, pp.217-255, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩

Subject Terms: Interoperability, Middleware, Pervasive networking, Protocol mediation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT

Availability: https://inria.hal.science/inria-00586630
https://inria.hal.science/inria-00586630/document
https://inria.hal.science/inria-00586630/file/middleware-layer_connector_synthesis.pdf
https://doi.org/10.1007/978-3-642-21455-4

Enabling Collaboration between Heterogeneous 3D Viewers through a PAC-C3D Modeling of the Shared Virtual Environment

Authors: Duval, Thierry Fleury, Cédric Virtual Reality for Improved Innovative Immersive Interaction (VR4I) et al.

Contributors: Duval, Thierry Fleury, Cédric Virtual Reality for Improved Innovative Immersive Interaction (VR4I) et al.

Source: ICAT 2011 (The 21st International Conference on Artificial Reality and Telexistence) ; https://inria.hal.science/inria-00638638 ; ICAT 2011 (The 21st International Conference on Artificial Reality and Telexistence), VRSJ, Nov 2011, Osaka, Japan. pp.156

Subject Terms: ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.13: Theory and methods, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.7: Three-Dimensional Graphics and Realism, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]

Subject Geographic: Osaka, Japan

Availability: https://inria.hal.science/inria-00638638
https://inria.hal.science/inria-00638638/document
https://inria.hal.science/inria-00638638/file/demoIcat2011.pdf

MySIM: A Spontaneous Service Integration Middleware for Pervasive Environments

Authors: Ibrahim, Noha Le Mouël, Frédéric Frénot, Stéphane et al.

Contributors: Ibrahim, Noha Le Mouël, Frédéric Frénot, Stéphane et al.

Source: Proceedings of the ACM International Conference on Pervasive Services (ICPS'2009) ; https://inria.hal.science/inria-00395427 ; Proceedings of the ACM International Conference on Pervasive Services (ICPS'2009), Jul 2009, London, United Kingdom. pp.1--10, ⟨10.1145/1568199.1568201⟩

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Subject Geographic: London, United Kingdom

Availability: https://inria.hal.science/inria-00395427
https://inria.hal.science/inria-00395427v1/document
https://inria.hal.science/inria-00395427v1/file/ICPS2009.pdf
https://doi.org/10.1145/1568199.1568201

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

Authors: Issarny, Valérie Steffen, Bernhard Jonsson, Bengt et al.

Contributors: Issarny, Valérie Steffen, Bernhard Jonsson, Bengt et al.

Source: 14th IEEE International Conference on Engineering of Complex Computer Systems
https://hal.inria.fr/inria-00392809
14th IEEE International Conference on Engineering of Complex Computer Systems, Jun 2009, Postdam, Germany. pp.154-161, ⟨10.1109/ICECCS.2009.44⟩

Subject Terms: Connector, interoperability, middleware, software architecture, quality of service, behavior learning, system synthesis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Subject Geographic: Postdam, Germany

Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; inria-00392809; https://hal.inria.fr/inria-00392809; https://hal.inria.fr/inria-00392809/document; https://hal.inria.fr/inria-00392809/file/Connect_challenges.pdf

Availability: https://hal.inria.fr/inria-00392809
https://hal.inria.fr/inria-00392809/document
https://hal.inria.fr/inria-00392809/file/Connect_challenges.pdf
https://doi.org/10.1109/ICECCS.2009.44

Towards Mediator Connectors for Application level Interoperability

Authors: Spalazzese, Romina University of L'Aquila Italy (UNIVAQ) European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009)

Contributors: Spalazzese, Romina University of L'Aquila Italy (UNIVAQ) European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009)

Source: ESEC/FSE Doctoral Symposium'09 ; https://hal.inria.fr/inria-00442006 ; ESEC/FSE Doctoral Symposium'09, Aug 2009, Amsterdam, Netherlands. pp.35-36, ⟨10.1145/1595782.1595797⟩

Subject Terms: Mediator connectors, protocol interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Subject Geographic: Amsterdam, Netherlands

Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; inria-00442006; https://hal.inria.fr/inria-00442006; https://hal.inria.fr/inria-00442006/document; https://hal.inria.fr/inria-00442006/file/esecds19s-spalazzese.pdf

Availability: https://hal.inria.fr/inria-00442006
https://hal.inria.fr/inria-00442006/document
https://hal.inria.fr/inria-00442006/file/esecds19s-spalazzese.pdf
https://doi.org/10.1145/1595782.1595797

Behavioral adaptation of component compositions based on process algebra encodings

Authors: Mateescu, Radu Poizat, Pascal Salaün, Gwen et al.

Contributors: Mateescu, Radu Poizat, Pascal Salaün, Gwen et al.

Source: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :385-388

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-WB] Computer Science [cs]/Web, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: http://hal.inria.fr/docs/00/18/94/96/PDF/RR-6362.pdf
https://inria.hal.science/inria-00189246v2
https://hal.science/hal-00342148v1
https://doi.org/10.1145/1321631.1321690
http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#MateescuPS07
https://core.ac.uk/display/24537546
http://www.ibisc.univ-evry.fr/~poizat/documents/publications/RR-MPS07.pdf
https://hal.inria.fr/inria-00189246v2
https://hal.archives-ouvertes.fr/hal-00342148
https://doi.org/10.1145/1321631.1321690

OMOS: Ontology for Western Saharan Manuscripts ; OMOS: une ontologie pour les manuscrits de l'Ouest Saharien

Authors: Diakité, Mohamed Lamine Bouchou Markhoff, Béatrice Département de Mathématiques et Informatique, Université des Sciences de Technologie et de Médecine, Nouakchott, Mauritanie (DMI, USTM) et al.

Contributors: Diakité, Mohamed Lamine Bouchou Markhoff, Béatrice Département de Mathématiques et Informatique, Université des Sciences de Technologie et de Médecine, Nouakchott, Mauritanie (DMI, USTM) et al.

Source: https://hal.science/hal-01134010 ; [Research Report] 313, Université François Rabelais Tours - LABORATOIRE d' INFORMATIQUE LI (UPRES EA n° 6300). 2015.

Subject Terms: Thesaurus, Ancient Arabic Manuscript, Ontology Design, Semantic Web, web sémantique, Manuscrit arabe ancien, Conception d'ontologie, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.2: Methodologies (e.g., object-oriented, structured), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.0: Data abstraction, [INFO]Computer Science [cs], [INFO.INFO-WB]Computer Science [cs]/Web

Relation: Report N°: 313

Availability: https://hal.science/hal-01134010
https://hal.science/hal-01134010v1/document
https://hal.science/hal-01134010v1/file/DiakiteBouchou2015.pdf

An Architecture for Ubiquitous Applications

Authors: Zaidenberg, Sofia Reignier, Patrick Crowley, James L. et al.

Contributors: Zaidenberg, Sofia Reignier, Patrick Crowley, James L. et al.

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, middleware, deployment, [INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [INFO.INFO-IU] Computer Science [cs]/Ubiquitous Computing, ubiquitous computing, ACM: D.: Software, distributed application

Access URL: https://inria.hal.science/hal-00666496v1
https://inria.hal.science/hal-00788075v1
https://inria.hal.science/hal-00953488v1

DiFFuSE, a Distributed Framework for Cloud-based Epidemic Simulations: a Case Study in Modelling the Spread of Bovine Viral Diarrhea Virus

Authors: Pham, Manh Linh Parlavantzas, Nikos Morin, Christine et al.

Contributors: Pham, Manh Linh Parlavantzas, Nikos Morin, Christine et al.

Source: CloudCom 2017 - 9th IEEE International Conference on Cloud Computing Technology and Science ; https://hal.inria.fr/hal-01612979 ; CloudCom 2017 - 9th IEEE International Conference on Cloud Computing Technology and Science, Dec 2017, Hong-Kong, China

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO]Computer Science [cs]

Subject Geographic: Hong-Kong, China

Relation: hal-01612979; https://hal.inria.fr/hal-01612979

Availability: https://hal.inria.fr/hal-01612979

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success

Authors: Allam, Diana Grall, Hervé Royer, Jean-Claude et al.

Contributors: Allam, Diana Grall, Hervé Royer, Jean-Claude et al.

Source: The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013) ; https://inria.hal.science/hal-00908552 ; The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria

Subject Terms: Service-Oriented Computing, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping, Basics of Category Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability/D.2.12.0: Data mapping, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability/D.2.12.1: Distributed objects, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.0: Client/server, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Vienna, Austria

Availability: https://inria.hal.science/hal-00908552

Ensuring Reachability by Design

Authors: Caillaud, Benoît Raclet, Jean-Baptiste System synthesis and supervision, scenarios (S4) et al.

Contributors: Caillaud, Benoît Raclet, Jean-Baptiste System synthesis and supervision, scenarios (S4) et al.

Source: Theoretical Aspects of Computing – ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings ; 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012) ; https://inria.hal.science/hal-00766735 ; 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227 ; https://link.springer.com/chapter/10.1007/978-3-642-32943-2_17

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Bangalore, India

Availability: https://inria.hal.science/hal-00766735

REFERENCE IN INTERLANGUAGE: THE CASE OF THIS AND THAT. From linguistic annotation to corpus interoperability ; LA RÉFÉRENCE DANS L'INTERLANGUE : LE CAS DE THIS ET THAT. De l'annotation linguistique à l'interopérabilité des corpus

Authors: Gaillat, Thomas Centre de Linguistique Inter-langues, de Lexicologie, de Linguistique Anglaise et de Corpus (CLILLAC-ARP (EA_3967)) Université Paris Diderot - Paris 7 (UPD7) et al.

Contributors: Gaillat, Thomas Centre de Linguistique Inter-langues, de Lexicologie, de Linguistique Anglaise et de Corpus (CLILLAC-ARP (EA_3967)) Université Paris Diderot - Paris 7 (UPD7) et al.

Source: https://hal.science/tel-01705743 ; Linguistics. Université Paris Diderot (Paris 7) Sorbonne Paris Cité, 2016. English. ⟨NNT : ⟩.

Subject Terms: anaphora, interoperability, Référence, deixis, anaphore, annotation, interopérabilité, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.1: Content Analysis and Indexing/H.3.1.3: Linguistic processing, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning/I.2.6.5: Language acquisition, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [SCCO.LING]Cognitive science/Linguistics, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Availability: https://hal.science/tel-01705743
https://hal.science/tel-01705743v1/document
https://hal.science/tel-01705743v1/file/PhD-rev4.2-final-ED-corr-pre-rapport.pdf

Gestion Distribuée de Compétences et de leurs Complémentarités

Authors: Boudjlida, Nacer Dong, Cheng Environment for cooperation (ECOO) et al.

Contributors: Boudjlida, Nacer Dong, Cheng Environment for cooperation (ECOO) et al.

Source: 9ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition - NOTERE 2009
https://inria.hal.science/inria-00436718
9ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition - NOTERE 2009, Université du Québéc à Montréal, Jun 2009, Montréal, Canada. pp.64-75

Subject Terms: Médiation, Logique de Description, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Subject Geographic: Montréal

Time: Montréal, Canada

Availability: https://inria.hal.science/inria-00436718