-
1Book
Συγγραφείς: Wulff, Enrique
Συνεισφορές: Marine Sciences Institute of Andalusia, Spanish National Research Council (CSIC)
Πηγή: Handbook of Research on Technological Advances of Library and Information Science in Industry 5.0 ; https://hal.science/hal-03988227 ; Handbook of Research on Technological Advances of Library and Information Science in Industry 5.0, IGI Global, pp.415-429, 2022, Advances in Library and Information Science, 9781668447550. ⟨10.4018/978-1-6684-4755-0.ch021⟩ ; https://www.igi-global.com/gateway/chapter/316592
Θεματικοί όροι: Knowledge capture, Knowledge awareness, Marine plastics, Data policy, Industry 5.0, Captura de conocimientos, Sensibilización del conocimiento, Plásticos marinos, Política de datos, Industria 5.0, Saisie des connaissances, Conscience de connaissance, Déchets plastiques marins, Politiques des données, Industrie 5.0, MESH: Science des données, JEL: F - International Economics/F.F6 - Economic Impacts of Globalization/F.F6.F68 - Policy, JEL: H - Public Economics/H.H7 - State and Local Government • Intergovernmental Relations/H.H7.H73 - Interjurisdictional Differentials and Their Effects, JEL: K - Law and Economics/K.K3 - Other Substantive Areas of Law/K.K3.K32 - Environmental, Health, and Safety Law, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [SHS.GESTION]Humanities and Social Sciences/Business administration, [SDU.OCEAN]Sciences of the Universe [physics]/Ocean, Atmosphere
Relation: hal-03988227; https://hal.science/hal-03988227
-
2Report
Συγγραφείς: Ibanda Kabaka, Paulin
Συνεισφορές: Les Afriques dans le monde (LAM), Sciences Po Bordeaux - Institut d'études politiques de Bordeaux (IEP Bordeaux)-Institut de Recherche pour le Développement (IRD)-Institut d'Études Politiques IEP - Bordeaux-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), Centre de recherche Pau Droit Public (PDP), Université de Pau et des Pays de l'Adour (UPPA)
Πηγή: https://hal.science/hal-01780932 ; 2018.
Θεματικοί όροι: JEL: L - Industrial Organization, JEL: K - Law and Economics, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING/K.5.2: Governmental Issues/K.5.2.2: Taxation, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING/K.5.2: Governmental Issues, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [SHS.DROIT]Humanities and Social Sciences/Law, [SHS.HIST]Humanities and Social Sciences/History, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [CHIM.CHEM]Chemical Sciences/Cheminformatics
-
3Report
Συγγραφείς: von Wendland, Marcelle
Συνεισφορές: Bancstreet Capital Partners Ltd (BST)
Πηγή: https://hal.inria.fr/hal-01777510 ; 2018.
Θεματικοί όροι: Blockchain Technology, Smart Contracts, Distributed Ledger Technology, Semantic technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET]
Relation: hal-01777510; https://hal.inria.fr/hal-01777510; https://hal.inria.fr/hal-01777510/document; https://hal.inria.fr/hal-01777510/file/SemBlockChain_OpenAccess_April2018.pdf
-
4Academic Journal
Συγγραφείς: Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Craipeau, Nicolas, Frénot, Stéphane, Goessler, Gregor, Hardouin, Ronan, Le Clainche, Julien, Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Mé, Ludovic, Potet, Marie-Laure, Steer, Sylvain, Viet Triem Tong, Valérie
Συνεισφορές: Maarek, Manuel, Propriétés Intellectuelles et Nouvelles Technologies (PrINT), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU), Laboratoire de Droit des Affaires et Nouvelles Technologies (DANTE), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), SUPELEC-Campus Rennes, Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Legal Issues in Communication and Information Technologies (LICIT), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA, ANR-07-SESU-0007,LISE,Liability Issues in Software Engineering(2007), Inria Grenoble - Rhône-Alpes
Πηγή: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. :135-144
Θεματικοί όροι: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Legal Aspects, Specication, 02 engineering and technology, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, 16. Peace & justice, Formal Methods, [INFO.INFO-IA] Computer Science [cs]/Computer Aided Engineering, Specification, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Liability, 0202 electrical engineering, electronic engineering, information engineering, Defects, Contract, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, Evidence
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://hal.inria.fr/inria-00472287/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://inria.hal.science/inria-00440437v1
https://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#MetayerMTMPCFH10
https://hal.inria.fr/inria-00440437/document
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006062081
https://hal.archives-ouvertes.fr/inria-00440437/en/
https://ieeexplore.ieee.org/document/6062081/
https://dl.acm .org/doi/10.1145/1806799.1806823 -
5Report
Συγγραφείς: Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Craipeau, Nicolas, Frénot, Stéphane, Goessler, Gregor, Hardouin, Ronan, Le Clainche, Julien, Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Mé, Ludovic, Potet, Marie-Laure, Steer, Sylvain, Viet Triem Tong, Valérie
Συνεισφορές: Propriétés Intellectuelles et Nouvelles Technologies (PrINT), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU), Laboratoire de Droit des Affaires et Nouvelles Technologies (DANTE), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), SUPELEC-Campus Rennes, Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Legal Issues in Communication and Information Technologies (LICIT), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA, ANR-07-SESU-0007,LISE,Liability Issues in Software Engineering(2007)
Πηγή: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.
Θεματικοί όροι: Formal Methods, Specification, Defects, Legal Aspects, Evidence, Liability, Contract, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
-
6Conference
Συγγραφείς: Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Potet, Marie-Laure, Frénot, Stéphane, Viet Triem Tong, Valérie, Craipeau, Nicolas, Hardouin, Ronan, Alleaune, Christophe, Benabou, Valérie-Laure, Beras, Denis, Bidan, Christophe, Goessler, Gregor, Le Clainche, Julien, Mé, Ludovic, Steer, Sylvain
Συνεισφορές: Legal Issues in Communication and Information Technologies (LICIT), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), SUPELEC-Campus Rennes, Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Propriétés Intellectuelles et Nouvelles Technologies (PrINT), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU), Laboratoire de Droit des Affaires et Nouvelles Technologies (DANTE), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), ACM/IEEE, ANR-07-SESU-0007,LISE,Liability Issues in Software Engineering(2007)
Πηγή: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://hal.inria.fr/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823
Θεματικοί όροι: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, droit, stat
Θέμα γεωγραφικό: Cape Town, South Africa
Time: Cape Town, South Africa
Relation: https://hal.inria.fr/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf; https://hal.inria.fr/inria-00472287
-
7
Συγγραφείς: Bub, Udo, Dahanayake, Ajantha, Darmont, Jérôme, Diamantini, Claudia, Fassetti, Fabio, Fermé, Eduardo, Kabachi, Nadia, Matteucci, Ilaria, Molnár, Bálint, Navathe, Sham, Oro, Ermelinda, Petrocchi, Marinella, Rombo, Simona, E., Ruffolo, Massimo, Spognardi, Angelo, Thalheim, Bernhard, Ursino, Domenico
Συνεισφορές: Entrepôts, Représentation et Ingénierie des Connaissances (ERIC), Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon
Πηγή: ISSN: 1865-0929 ; Communications in Computer and Information Science ; https://hal.science/hal-01865880 ; Communications in Computer and Information Science, 909, pp.91-102, 2018, New Trends in Databases and Information Systems - ADBIS 2018 Short Papers and Workshops, ⟨10.1007/978-3-030-00063-9⟩ ; https://link.springer.com/book/10.1007/978-3-030-00063-9.
Θεματικοί όροι: Big Data, Management, Analytics, Data Privacy, Security, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]