Výsledky vyhledávání - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability*
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: 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/Témata: 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]
Geografické téma: Cape Town, South Africa
Time: Cape Town, South Africa
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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]
Dostupnost: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Functional Programming
Témata: 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]
Popis souboru: application/pdf
Přístupová URL adresa: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :385-388
Témata: 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]
Popis souboru: application/pdf
Přístupová URL adresa: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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, SpainTémata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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/Témata: 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
Dostupnost: https://hal.science/hal-03129252
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: 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/
Témata: 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]
Relation: info:eu-repo/grantAgreement//287581/EU/OpenLab: extending FIRE testbeds and tools/OpenLab
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: Front Robot AI
Frontiers in Robotics and AI, Vol 9 (2022)Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/tel-02928813 ; Génie logiciel [cs.SE]. Université Lyon 2 Lumière, 2020.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩Témata: 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
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩Témata: Interoperability, Software systems, Encoding, Bibliographies, Protocols, Software engineering, [INFO]Computer Science [cs]
Geografické téma: Buenos Aires, Argentina
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/tel-01705743 ; Linguistics. Université Paris Diderot (Paris 7) Sorbonne Paris Cité, 2016. English. ⟨NNT : ⟩.
Témata: 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
Autoři:
Přispěvatelé:
Zdroj: 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⟩
Témata: Mediator connectors, protocol interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Geografické téma: 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
Autoři: a další
Zdroj: ACM Computing Surveys; Oct2024, Vol. 56 Issue 10, p1-37, 37p
Nájsť tento článok vo Web of Science
Full Text Finder