Gotowa bibliografia na temat „Internet des objets – Programmation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Internet des objets – Programmation”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Internet des objets – Programmation"
Caron, Olivier, Bernard Carré i Alexis Muller. "Programmation par objets structurée en contextes". L'objet 13, nr 2-3 (7.09.2007): 11–42. http://dx.doi.org/10.3166/obj.13.2-3.11-42.
Pełny tekst źródłaChemla, Jean-Paul, Matthieu Lescieux, Bernard Riera i Fabien Emprin. "Une expérience d'enseignement de l'IoT". J3eA 21 (2022): 2025. http://dx.doi.org/10.1051/j3ea/20222025.
Pełny tekst źródłaCointe, Pierre, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller i Mario Südholt. "Programmation post-objets. Des langages d'aspects aux langages de composants". L'objet 10, nr 4 (30.12.2004): 119–43. http://dx.doi.org/10.3166/objet.10.4.119-143.
Pełny tekst źródłaLe Gal, Bertrand, Lilian Bossuet i Michael Grand. "Enseignement ludique de la programmation objets à l’aide des applications de traitement de l’image". J3eA 9 (2010): 0009. http://dx.doi.org/10.1051/j3ea/2010012.
Pełny tekst źródłaSandri, Eva. "Quelles utilisations des images de l’exposition sur les sites Internet de musées ? Congruence et incohérence entre objets et images numériques". Article cinq 7, nr 2 (7.05.2015): 95–109. http://dx.doi.org/10.7202/1030252ar.
Pełny tekst źródłaLe Roch, Yann, i Éric Ballot. "Internet(s) des objets logistiques et modèles d'affaires". Annales des Mines - Réalités industrielles Mai 2013, nr 2 (2013): 97. http://dx.doi.org/10.3917/rindu.132.0097.
Pełny tekst źródłaArdourel, Gilles, Pierre Crescenzo i Philippe Lahire. "LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets". L'objet 9, nr 1-2 (30.06.2003): 151–63. http://dx.doi.org/10.3166/objet.9.1-2.151-163.
Pełny tekst źródłaVivien, Laurent, Delphine Marris-Morini, Eric Cassan, Carlos Alonso-Ramos, Charles Baudot, Frédéric Bœuf i Bertrand Szelag. "Circuits intégrés photoniques silicium". Photoniques, nr 93 (wrzesień 2018): 18–22. http://dx.doi.org/10.1051/photon/20189318.
Pełny tekst źródłaMeiller, Yannick. "La sécurité de l’information devrait être plus présente dans les programmes des écoles de management". Sécurité et stratégie 32, nr 4 (19.03.2024): 12–16. http://dx.doi.org/10.3917/sestr.032.0012.
Pełny tekst źródłaLacroix, Jean-Guy. "Sociologie et transition millénariste : entre l’irraison totalitaire du capitalisme et la possibilité-nécessité de la conscientivité". I. Contexte social et institutionnel, nr 30 (2.05.2011): 79–152. http://dx.doi.org/10.7202/1002658ar.
Pełny tekst źródłaRozprawy doktorskie na temat "Internet des objets – Programmation"
Muroor, Nadumane Ajay Krishna. "Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets". Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM067.
Pełny tekst źródłaThe Internet of Things (IoT) applications are built by interconnecting everyday objects over a network. These objects or devices sense the environment around them, and their network capabilities allow them to communicate with other objects to perform utilitarian tasks. One of the popular ways to build IoT applications in the consumer domain is by combining different objects using Event-Condition-Action (ECA) rules. These rules are typically in the form of IF something-happens THEN do-something. The Web of Things (WoT) are a set of standards and principles that integrate architectural styles and capabilities of web to the IoT. Even though WoT architecture coupled with ECA rules simplifies the building of IoT applications to a large extent, there are still challenges in making end-users develop advanced applications in a simple yet correct fashion due to dynamic, reactive and heterogeneous nature of IoT systems.The broad objective of this work is to leverage formal methods to provide end-users of IoT applications certain level of guarantee at design time that the designed application will behave as intended upon deployment. In this context, we propose a formal development framework based on the WoT. The objects are described using a behavioural model derived from the Thing Description specification of WoT. Then, the applications are designed not only by specifying individual ECA rules, but also by composing these rules using a composition language. The language enables users to build more expressive automation scenarios. The description of the objects and their composition are encoded in a formal specification from which the complete behaviour of the application is identified. In order to guarantee correct design of the application, this work proposes a set of generic and application-specific properties that can be validated on the complete behaviour before deployment. Further, the deployed applications may be reconfigured during their application lifecycle. The work supports reconfiguration by specifying reconfiguration properties that allow one to qualitatively compare the behaviour of the new configuration with the original configuration. The implementation of all the proposals is achieved by extending Mozilla WebThings platform. A new set of user interfaces are built to support the composition of rules and reconfiguration. A model transformation component which transforms WoT models to formal models and an integration with formal verification toolbox are implemented to enable automation. Finally, a deployment engine is built by extending WebThings APIs. It directs the deployment of applications and reconfigurations respecting their composition semantics
Rammal, Darine. "Memory safety for synchronous reactive programming". Electronic Thesis or Diss., Orléans, 2024. http://www.theses.fr/2024ORLE1002.
Pełny tekst źródłaSynchronous Reactive Languages are an excellent choice for IoT programming due to their clear system-environment interaction semantics. However, when it comes to safety- critial or resource-constrained systems, recent proposals like Fairthreads or ReactiveML face a well-known issue. Fairthreads' manual memory management can lead to errors, while ReactiveML's garbage collection ensures memory safety but introduces execution overhead. This thesis aims to address the memory safety issue by developing a reactive programming language specifically designed for real-time systems, incorporating cooperative threads and synchronous execution. Drawing from the robust type system of the Rust programming language, we propose a Rust-like type system for a kernel reactive programming language named MSSL. MSSL features a cooperative threading model and facilitates mutable data sharing between threads while preserving type and borrowing safety. To achieve this, we introduce a novel abstraction called Trc (Thread Reference Counting), which combines the ownership safety of Rust references with the reference counting mechanism of Rust smart pointers. Then, we present the semantics and type system of MSSL to demonstrate its capabilities in maintaining type safety, borrowing safety, and concurrency safety. Furthermore, we extend MSSL by introducing reactive extensions, incorporating the concept of signals that offer powerful, flexible, and reliable means of communication. Finally, we provide a Java implementation of the complete MSSL set, based on the semantic and typing rules of its type system
Mansour, Elio. "Détection d’évènements dans des environnements connectés". Thesis, Pau, 2019. http://www.theses.fr/2019PAUU3017/document.
Pełny tekst źródłaThe rising interest in smart connected environments (e.g., smart buildings, cities, factories) and theevolution of sensors, data management/communication technologies have paved the way forinteresting and useful applications that help users in their every day tasks (e.g. increasing comfort,reducing energy consumption). However, various improvements are still required. For instance, howto enhance the representation of such complex, dynamic, and heterogeneous environments.Moreover, how to facilitate the interaction between users and their connected environments, and howto provide tools for environment monitoring and management.In this thesis, we focus on four main challenges: (i) representing a diverse set of components andelements related to the environment and its sensor network; (ii) providing a query language thathandles user/connected environment interactions (e.g., environment definition, data management,event definition); (iii) coping with the dynamicity of the environment and its evolution over time; and(iv) proposing a generic event detection mechanism for improved environment monitoring.To do so, we first present an ontology-based data model that represents hybrid environments/sensornetworks. Thus covering diverse sensors (e.g., static, mobile), environments (e.g., infrastructures,devices), and data (e.g., scalar, multimedia). Then, we introduce a query language that one might usefor various tasks (e.g., defining the connected environment, information retrieval, event definition,data management). Furthermore, to keep up with the environment changes we provide a queryoptimizer that allows the submitted queries to cope with the dynamicity of the environment prior totheir execution. Finally, we propose an event detection core that takes event definitions as input anddetects the targeted events.We group the aforementioned modules in one global framework for event detection in connectedenvironments. Our proposal is generic, extensible, and could be used with different connectedenvironments such as buildings, cities. .
Pelenc, Stéphane. "Objets et contraintes". Montpellier 2, 1998. http://www.theses.fr/1998MON20099.
Pełny tekst źródłaDOUIN, JEAN-MICHEL. "Objets, programmation en logique et implantation parallele". Paris, CNAM, 1993. http://www.theses.fr/1993CNAM0165.
Pełny tekst źródłaROY, PIERRE. "Satisfaction de contraintes et programmation par objets". Paris 6, 1998. http://www.theses.fr/1998PA066742.
Pełny tekst źródłaGUERRAOUT, RACHID. "Programmation repartie par objets : etudes et propositions". Paris 11, 1992. http://www.theses.fr/1992PA112336.
Pełny tekst źródłaCodani, Jean-Jacques. "Microprogrammation, architectures, langages à objets : NAS /". [Le-Chesnay] : Institut national de recherche en informatique et en automatique, 1988. http://catalogue.bnf.fr/ark:/12148/cb35000251h.
Pełny tekst źródłaFouquier, Gilles. "Programmation temps reel a objets : etudes et proportions". Evry-Val d'Essonne, 1996. http://www.theses.fr/1996EVRY0030.
Pełny tekst źródłaFouquier, Gilles. "Programmation temps réel à objets : études et proposition /". Gif-sur-Yvette : Direction de l'information scientifique et technique, CEA Saclay, 1996. http://catalogue.bnf.fr/ark:/12148/cb361642829.
Pełny tekst źródłaKsiążki na temat "Internet des objets – Programmation"
Campione, Mary. The Java tutorial: Object-oriented programming for the Internet. Wyd. 2. Reading, Mass: Addison-Wesley, 1998.
Znajdź pełny tekst źródłaCampione, Mary. The Java tutorial: Object-oriented programming for the Internet. Reading, Mass: Addison Wesley, 1996.
Znajdź pełny tekst źródłaCampione, Mary. The Java tutorial: Object-oriented programming for the Internet. Reading, Mass: Addison Wesley, 1996.
Znajdź pełny tekst źródła1965-, Noumeir Rita, red. Programmation en Java, version 1.2: Concepts et applications. Montréal: Chenelière/McGraw-Hill, 1998.
Znajdź pełny tekst źródłaKathy, Walrath, i Huml Alison, red. The Java tutorial: A short course on the basics. Wyd. 3. Boston: Addison-Wesley, 2001.
Znajdź pełny tekst źródłaClavel, Gilles, i Eric-Marc Mahé. Java la synthèse: Des concepts objets aux architectures Web. Wyd. 3. Paris: Dunod, 2000.
Znajdź pełny tekst źródłaClark, Richard. Formation à-- ASP.net. Les Ulis, France: Microsoft Press, 2001.
Znajdź pełny tekst źródłaWainwright, Peter. Pro Perl. Berkeley, CA: Apress, 2005.
Znajdź pełny tekst źródłaDugerdil, Philippe. Smalltalk-80: Programmation par objets. Lausanne: Presses polytechniques et universitaires romandes, 1990.
Znajdź pełny tekst źródłaFerber, Jacques. Conception et programmation par objets. Wyd. 2. Paris: Hermès, 1991.
Znajdź pełny tekst źródłaCzęści książek na temat "Internet des objets – Programmation"
Beringer, Lennart. "Verified Software Units". W Programming Languages and Systems, 118–47. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_5.
Pełny tekst źródłaHONBA HONBA, Cédric. "Sémiotique et archive d’images". W Corpus audiovisuels, 125–46. Editions des archives contemporaines, 2022. http://dx.doi.org/10.17184/eac.5705.
Pełny tekst źródłaBenghozi, Pierre-Jean, Sylvain Bureau i Françoise Massit-Folléa. "Defining the Internet of Things". W L’Internet des objets, 91–99. Éditions de la Maison des sciences de l’homme, 2009. http://dx.doi.org/10.4000/books.editionsmsh.97.
Pełny tekst źródłaBenghozi, Pierre-Jean, Sylvain Bureau i Françoise Massit-Folléa. "Technical evolution of the Internet of Things". W L’Internet des objets, 111–20. Éditions de la Maison des sciences de l’homme, 2009. http://dx.doi.org/10.4000/books.editionsmsh.99.
Pełny tekst źródłaBenghozi, Pierre-Jean, Sylvain Bureau i Françoise Massit-Folléa. "The prominence and challenges of the Internet of Things". W L’Internet des objets, 101–10. Éditions de la Maison des sciences de l’homme, 2009. http://dx.doi.org/10.4000/books.editionsmsh.98.
Pełny tekst źródłaERTZ, Myriam, Shouheng SUN, Émilie BOILY, Gautier Georges Yao QUENUM, Kubiat PATRICK, Yassine LAGHRIB, Damien HALLEGATTE, Julien BOUSQUET i Imen LATROUS. "Les produits augmentés : la contribution de l’industrie 4.0 à la consommation durable". W Le marketing au service du développement durable, 277–300. ISTE Group, 2021. http://dx.doi.org/10.51926/iste.9036.ch14.
Pełny tekst źródłaKHALIL, Ahmad, Nader MBAREK i Olivier TOGNI. "Adaptation du contrôle d’accès pour la sécurité de l’IoT". W La gestion et le contrôle intelligents des performances et de la sécurité dans l’IoT, 169–204. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9053.ch7.
Pełny tekst źródłaStreszczenia konferencji na temat "Internet des objets – Programmation"
Haboyan, Razmik. "La Grande Réinitialisation : projet, symptôme ou promesse ? La transition comme une arme de guérilla sémiotique". W Actes du congrès de l’Association Française de Sémiotique. Limoges: Université de Limoges, 2024. http://dx.doi.org/10.25965/as.8487.
Pełny tekst źródłaSoh, Chien Lin, Jay Kamdar, Khushi Shah, Martine Irog, Nitya Jagadam, Pablo Arriazu, Paras Adlakha i in. "Domi Inter Astra (DIA) Moon Base: an interdisciplinary approach for cooperation to build a near-future Moonbase and how to use it as an educational tool". W Symposium on Space Educational Activities (SSAE). Universitat Politècnica de Catalunya, 2022. http://dx.doi.org/10.5821/conference-9788419184405.088.
Pełny tekst źródłaRaporty organizacyjne na temat "Internet des objets – Programmation"
Aubry, Philippe, Nicolas Boileau, Marie Briandy, Marie-Christine Chauvat, Sandrine Conin i Éric Min-Tung. Rapport sur le chantier IdRef en Normandie. Normandie Université, grudzień 2023. http://dx.doi.org/10.51203/rapport.nu.000003.
Pełny tekst źródła