Search results
From MaRDI portal
- Things in IoT Systems 2020-07-20 Paper From natural projection to partial model checking and back 2019-09-16 Paper Measuring security in IoT communications...10 bytes (17 words) - 02:32, 10 December 2023
- supply chains: an interactive fuzzy goal programming approach 2010-11-07 Paper An interactive possibilistic programming approach for multiple objective supply...10 bytes (16 words) - 01:59, 11 December 2023
- smart environments: a declarative programming approach 2023-06-15 Paper Declarative continuous reasoning in the cloud-IoT continuum 2022-03-09 Paper https://portal...10 bytes (16 words) - 12:32, 14 March 2024
- smart environments: a declarative programming approach 2023-06-15 Paper Declarative continuous reasoning in the cloud-IoT continuum 2022-03-09 Paper...10 bytes (16 words) - 21:14, 27 December 2023
- Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems 2024-04-17 Paper Verifying bounded subset-closed hyperproperties 2023-05-26...10 bytes (16 words) - 21:10, 24 September 2023
- concurrent programs 2022-08-16 Paper Security Issues in Service Composition 2021-05-25 Paper Security Metrics at Work on the Things in IoT Systems 2020-07-20...10 bytes (18 words) - 18:00, 9 December 2023
- smart environments: a declarative programming approach 2023-06-15 Paper An abductive framework for extended logic programming 2022-08-30 Paper Declarative continuous...10 bytes (17 words) - 14:11, 6 October 2023
- in nonlinear bilevel programming 1992-06-28 Paper Global optimization of fractional programs 1992-06-28 Paper Quadratic programming with one negative eigenvalue...10 bytes (19 words) - 14:56, 7 December 2023
- credit 2019-02-08 Paper Competition of pricing and service investment between IoT-based and traditional manufacturers 2019-02-05 Paper Replacement and inventory...10 bytes (17 words) - 01:57, 10 December 2023
- When and how to share first-mile parcel collection service 2021-06-03 Paper IoT and digital twin enabled smart tracking for safety management 2021-05-21 Paper...10 bytes (18 words) - 07:27, 7 October 2023
- novel compact broadband and radiation efficient antenna design for medical IoT healthcare system 2022-04-25 Paper Evolutionary Game Models of Cooperative...10 bytes (17 words) - 11:33, 11 December 2023
- Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems 2024-04-17 Paper https://portal.mardi4nfdi.de/entity/Q6124944 2024-04-10...10 bytes (17 words) - 21:23, 11 December 2023
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems 2010-02-05 Paper Global Computing. Programming Environments, Languages...10 bytes (17 words) - 02:13, 10 December 2023
- Online Power Optimization in Feedback-Limited, Dynamic and Unpredictable IoT Networks 2019-10-28 Paper Hessian Barrier Algorithms for Linearly Constrained...10 bytes (17 words) - 04:02, 25 September 2023
- Publication Date of Publication Type Resource time-sharing for IoT applications with deadlines 2023-08-04 Paper Single-item lot-sizing with quantity discount...10 bytes (16 words) - 06:01, 7 October 2023
- time 2019-03-06 Paper Competition of pricing and service investment between IoT-based and traditional manufacturers 2019-02-05 Paper Replacement and inventory...10 bytes (16 words) - 18:01, 6 October 2023
- tract 2020-01-13 Paper Secure online/offline attribute-based encryption for IoT users in cloud computing 2020-01-10 Paper Adaptive event-triggered distributed...10 bytes (18 words) - 20:45, 9 December 2023
- networks 2019-02-08 Paper Competition of pricing and service investment between IoT-based and traditional manufacturers 2019-02-05 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 12:31, 28 January 2024
- through stochastic conic programming 2021-11-05 Paper Cloud-based lightweight secure RFID mutual authentication protocol in IoT 2021-04-19 Paper Acoustoelastic...10 bytes (16 words) - 17:14, 6 October 2023
- 2021-10-27 Paper Task arrival based energy efficient optimization in smart-IoT data center 2021-09-10 Paper Generative adversarial network based data augmentation...10 bytes (17 words) - 23:24, 9 December 2023
