Search Results - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability
-
1
Authors: et al.
Contributors: 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
-
2
Authors: et al.
Contributors: et al.
Source: Service-Oriented Computing ; ICSOC 2024 - 22nd International Conference on Service-Oriented Computing ; https://imt-mines-ales.hal.science/hal-04737951 ; ICSOC 2024 - 22nd International Conference on Service-Oriented Computing, Dec 2024, Tunis, Tunisia. pp.146-157 ; https://icsoc2024.redcad.tn/index.html
Subject Terms: Consent management, Microservice architecture, Interoperability, Software engineering, Privacy, GDPR regulation, Personal data, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Availability: https://imt-mines-ales.hal.science/hal-04737951
https://imt-mines-ales.hal.science/hal-04737951v1/document
https://imt-mines-ales.hal.science/hal-04737951v1/file/ICSOC%202024%20-%20Lamari%20et%20al.%20-%20Leveraging%20a%20Microservice%20Architecture,%20Access%20Control%20and%20Interoperability%20Patterns%20to%20Manage%20Privacy-related%20User%20Consents.pdf -
3
Authors: et al.
Contributors: et al.
Source: Building the Future Internet through FIRE ; https://hal.science/hal-01808686 ; Martin Serrano; Nikolaos Isaris; Hans Schaffers; John Domingue; Michael Boniface; Thanasis Korakis. Building the Future Internet through FIRE, Chapter 22, River Publishers, pp.603-611, 2017, 9788793519121 ; https://www.riverpublishers.com/research_article_details.php?book_id=427&cid=22
Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
4
Authors: et al.
Contributors: et al.
Source: Journal of Functional Programming
Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.6: Data types and structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.4: Type structure, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://hal.inria.fr/hal-01629909/file/main.pdf
https://inria.hal.science/hal-01629909v2
https://inria.hal.science/hal-01629909v2/document
https://doi.org/10.1017/s0956796818000011
https://core.ac.uk/display/160462837
https://hal.inria.fr/hal-01629909
https://hal.inria.fr/hal-01629909/document
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/abs/foundations-of-dependent-interoperability /801E5D733DE9BC30B1A34A5FDC621242
https://doi.org/10.1017/S0956796818000011
https://hal.archives-ouvertes.fr/hal-01629909 -
5
Authors: et al.
Contributors: et al.
Source: ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000) ; https://hal.univ-brest.fr/hal-01450904 ; ICSE 2000. International Workshop on Constructing Software Engineering Tools (COSET 2000), Jun 2000, Limerick, Ireland ; http://dl.acm.org/citation.cfm?id=302969
Subject Terms: EXPRESS, SDAI, STEP standard, CASE tools implementation, CASE tools interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
6
Authors: et al.
Contributors: 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 -
7
Authors: et al.
Contributors: et al.
Source: ISSN: 0098-5589 ; IEEE Transactions on Software Engineering ; https://inria.hal.science/hal-00717252 ; IEEE Transactions on Software Engineering, 2012, ⟨10.1109/TSE.2011.62⟩.
Subject Terms: service composition, software adaptation, interfaces, protocols, mismatch, adaptation contracts, process algebra, on-the-fly generation, verification, tools, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
8
Authors: et al.
Contributors: et al.
Source: 6th International Conference on Software and Data Technologies (ICSOFT 2011)
https://inria.hal.science/hal-00647358
6th International Conference on Software and Data Technologies (ICSOFT 2011), Jul 2011, Seville, SpainSubject Terms: CONNECT project, interoperability, model-based dependability assessment, runtime monitoring, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647358; https://inria.hal.science/hal-00647358; https://inria.hal.science/hal-00647358/document; https://inria.hal.science/hal-00647358/file/BertolinoICSOFT2011.pdf
-
9
Authors: et al.
Contributors: et al.
Source: 17th International Conference on Computers Helping People with Special Needshttps://www.icchp.org/sites/default/files/ED_1_ICCHP_Forum.pdf
ICCHP 2020: 17th International Conference on Computers Helping People with Special Needs
https://hal.science/hal-03129252
ICCHP 2020: 17th International Conference on Computers Helping People with Special Needs, Sep 2020, (online), Italy. pp.199-206
https://www.icchp.org/Subject Terms: Ambiant-assisted living, Internet of things, Sensors processing interoperability, ACM: I.: Computing Methodologies, ACM: D.: Software, [SDV.IB]Life Sciences [q-bio]/Bioengineering, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing
Availability: https://hal.science/hal-03129252
-
10
Authors: et al.
Contributors: et al.
Source: MobiCom '15: Proceedings of the 21st Annual International Conference on Mobile Computing and Networking ; MobiCom 2015 ; https://hal.archives-ouvertes.fr/hal-01305359 ; MobiCom 2015, ACM, Sep 2015, Paris, France. ⟨10.1145/2789168.2789180⟩ ; http://www.sigmobile.org/mobicom/2015/
Subject Terms: routing protocols, distributed systems, testbeds, 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], info, archi
Relation: https://hal.archives-ouvertes.fr/hal-01305359/file/p199-baron.pdf; https://hal.archives-ouvertes.fr/hal-01305359
-
11
Authors: et al.
Contributors: 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
-
12
Authors: et al.
Contributors: et al.
Source: https://hal.science/tel-02928813 ; Génie logiciel [cs.SE]. Université Lyon 2 Lumière, 2020.
Subject Terms: interoperability, Service oriented Architecture, simulation, Information systems modelling, information systems architecture, agility, information systems, Cycle de vie des systèmes de systèmes, système cyberphysique, architecture des systèmes d’information, modélisation des systèmes d’information, architecture orientée service, interopérabilité, agilité, monitoring, Vérification & Validation, analyse de vulnérabilité, LSTM, ACM: H.: Information Systems, ACM: D.: Software, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
13
Authors: et al.
Contributors: 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
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
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.12 [Software Engineering, Interoperability General Terms, Algorithms, Design, Languages, Standardization Additional Key Words and Phrases, Web services, composition, mediation, semantics, context ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.4541; http://www.infosys.tuwien.ac.at/Staff/sd/papers/Zeitschrift%20TOIT%20F.%20Rosenberg.pdf
-
15
Authors: et al.
Contributors: 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-00586638
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.27-52, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩Subject Terms: Interoperability, emergent middleware, modelling, synthesis, middleware, protocol, 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, [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
-
16
Authors: et al.
Contributors: et al.
Source: Web3D 2011 (16th International Conference on 3D Web technology) ; https://inria.hal.science/inria-00586161 ; Web3D 2011 (16th International Conference on 3D Web technology), Jun 2011, Paris, France. pp.21-30
Subject Terms: interoperability, 3D format, software architecture, rendering, virtual worlds, web3D, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.7: Three-Dimensional Graphics and Realism/I.3.7.6: Virtual reality, 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.13: Reusable Software/D.2.13.1: Reusable libraries, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], [INFO.INFO-WB]Computer Science [cs]/Web
-
17
Authors: et al.
Contributors: et al.
Source: 2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (JSOS)
https://uphf.hal.science/hal-03388363
2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (JSOS), May 2017, Buenos Aires, Argentina. pp.9-15, ⟨10.1109/JSOS.2017.5⟩Subject Terms: Interoperability, Software systems, Encoding, Bibliographies, Protocols, Software engineering, [INFO]Computer Science [cs]
Subject Geographic: Buenos Aires, Argentina
-
18
Authors: et al.
Contributors: 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]
-
19
Authors:
Contributors:
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
-
20
Authors: et al.
Source: ACM Computing Surveys; Oct2024, Vol. 56 Issue 10, p1-37, 37p
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text