A Data Security Formal Verification Framework for IoT Application Systems

Συγγραφείς: Liu, Jishun, Cao, Yaohe, Zhou, Zhengda, Tian, Ting

Πηγή: 2025 8th International Conference on Advanced Electronic Materials, Computers and Software Engineering (AEMCSE) Advanced Electronic Materials, Computers and Software Engineering (AEMCSE), 2025 8th International Conference on. :279-283 May, 2025

Relation: 2025 8th International Conference on Advanced Electronic Materials, Computers and Software Engineering (AEMCSE)

Aspect-Oriented Programming with Julia

Συγγραφείς: Ishimura, Osamu, Yoshimoto, Yoshihide

Πηγή: 2025 4th International Conference on Computer Technologies (ICCTech) ICCTECH Computer Technologies (ICCTech), 2025 4th International Conference on. :79-87 Feb, 2025

Relation: 2025 4th International Conference on Computer Technologies (ICCTech)

Integration of LLM and ReAct Agents for Enhanced Context Oriented Programming

Συγγραφείς: Moniruzzaman, Md, Alam, Alima M.

Πηγή: 2024 27th International Conference on Computer and Information Technology (ICCIT) Computer and Information Technology (ICCIT), 2024 27th International Conference on. :2969-2973 Dec, 2024

Relation: 2024 27th International Conference on Computer and Information Technology (ICCIT)

Aspect-Oriented Approach of Non-Functional Requirements for Embedded System-Based IoT Applications

Συγγραφείς: Bhar, A., Sengupta, S., Choudhury, S.

Πηγή: IEEE Access Access, IEEE. 13:129451-129460 2025

Runtime Verification of JavaScript Implementations Using Aspect Oriented Programming and Regular Expressions

Συγγραφείς: Pacione, Luciano, Urribarri, Dana K., Larrea, Martin L., Tamargo, Luciano H.

Πηγή: 2024 L Latin American Computer Conference (CLEI) Computer Conference (CLEI), 2024 L Latin American. :1-9 Aug, 2024

Relation: 2024 L Latin American Computer Conference (CLEI)

Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq

Συγγραφείς: Strauch, Tobias

Πηγή: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024

Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Modeling and Analysis of Aspect-Oriented High-Speed Railway Database Connection Pool

Συγγραφείς: Qu, Can, Li, Yuan

Πηγή: 2023 IEEE 3rd International Conference on Data Science and Computer Application (ICDSCA) Data Science and Computer Application (ICDSCA), 2023 IEEE 3rd International Conference on. :1266-1273 Oct, 2023

Relation: 2023 IEEE 3rd International Conference on Data Science and Computer Application (ICDSCA)

Just-In-Time Compiler System in Aspect-Oriented Programming based Building Block Platform for constructing Domain-Specific Language for HPC Application

Συγγραφείς: Ishimura, Osamu, Yoshimoto, Yoshihide

Πηγή: 2022 Tenth International Symposium on Computing and Networking Workshops (CANDARW) CANDARW Computing and Networking Workshops (CANDARW), 2022 Tenth International Symposium on. :241-247 Nov, 2022

Relation: 2022 Tenth International Symposium on Computing and Networking Workshops (CANDARW)

Scalable Composition and Analysis Techniques for Massive Scientific Workflows

Συγγραφείς: Ahn, Dong H., Zhang, Xiaohua, Mast, Jeffrey, Herbein, Stephen, Di Natale, Francesco, Kirshner, Dan, Jacobs, Sam Ade, Karlin, Ian, Milroy, Daniel J., De Supinski, Bronis, Van Essen, Brian, Allen, Jonathan, Lightstone, Felice C.

Πηγή: 2022 IEEE 18th International Conference on e-Science (e-Science) ESCIENCE e-Science (e-Science), 2022 IEEE 18th International Conference on. :32-43 Oct, 2022

Relation: 2022 IEEE 18th International Conference on e-Science (e-Science)

Migrating Monoliths to Microservices based on the Analysis of Database Access Requests

Συγγραφείς: Ma, Shang-Pin, Lu, Tsung-Wen, Li, Chung-Chieh

Πηγή: 2022 IEEE International Conference on Service-Oriented System Engineering (SOSE) SOSE Service-Oriented System Engineering (SOSE), 2022 IEEE International Conference on. :11-18 Aug, 2022

Relation: 2022 IEEE International Conference on Service-Oriented System Engineering (SOSE)

BlockASP: A Framework for AOP-Based Model Checking Blockchain System

Συγγραφείς: AlSobeh, A.M.R., Magableh, A.A.

Πηγή: IEEE Access Access, IEEE. 11:115062-115075 2023

Aspect-Oriented Programming based building block platform to construct Domain-Specific Language for HPC application

Συγγραφείς: Ishimura, Osamu, Yoshimoto, Yoshihide

Πηγή: 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) IPDPSW Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2022 IEEE International. :457-466 May, 2022

Relation: 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

AOM4JADE: An Aspect-Oriented Monitoring Approach for JADE-based Multi-Agent Applications

Συγγραφείς: Chebout, Mohamed Sedik

Πηγή: 2021 International Conference on Networking and Advanced Systems (ICNAS) Networking and Advanced Systems (ICNAS), 2021 International Conference on. :1-6 Oct, 2021

Relation: 2021 International Conference on Networking and Advanced Systems (ICNAS)

Aspect-Oriented Design Automation with Model Transformation

Συγγραφείς: Han, Zhao, Wang, Deyan, Rutsch, Gabriel, Li, Bowen, Prebeck, Sebastian Siegfried, Lopera, Daniela Sanchez, Devarajegowda, Keerthikumara, Ecker, Wolfgang

Πηγή: 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC) Very Large Scale Integration (VLSI-SoC), 2021 IFIP/IEEE 29th International Conference on. :1-6 Oct, 2021

Relation: 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC)

Modelling Dynamics in Aspect-Oriented Programs

Συγγραφείς: Cheers, H., Lin, Y.

Πηγή: 2021 IEEE 12th International Conference on Software Engineering and Service Science (ICSESS) Software Engineering and Service Science (ICSESS), 2021 IEEE 12th International Conference on. :6-11 Aug, 2021

Relation: 2021 IEEE 12th International Conference on Software Engineering and Service Science (ICSESS)

Validation of Object-Oriented Static and Dynamic Metrics

Συγγραφείς: Manju, Bhatia, Pradeep Kumar

Πηγή: 2021 Fourth International Conference on Computational Intelligence and Communication Technologies (CCICT) CCICT Computational Intelligence and Communication Technologies (CCICT), 2021 Fourth International Conference on. :406-411 Jul, 2021

Relation: 2021 Fourth International Conference on Computational Intelligence and Communication Technologies (CCICT)

Synergy of Organizational Patterns and Aspect-Oriented Programming

Συγγραφείς: Berta, Peter, Vranic, Valentino

Πηγή: 2019 IEEE 15th International Scientific Conference on Informatics Informatics, 2019 IEEE 15th International Scientific Conference on. :000439-000444 Nov, 2019

Relation: 2019 IEEE 15th International Scientific Conference on Informatics

Aspect Oriented Programming Approach for Variability Feature Implementation in Software Product Line Engineering

Συγγραφείς: Made Satvika Iswari, Ni, Budiardjo, Eko K., Hasibuan, Zainal A.

Πηγή: 2020 Fifth International Conference on Informatics and Computing (ICIC) Informatics and Computing (ICIC), 2020 Fifth International Conference on. :1-5 Nov, 2020

Relation: 2020 Fifth International Conference on Informatics and Computing (ICIC)

Introducing Aspect-Oriented Programming in Improving the Modularity of Middleware for Internet of Things

Συγγραφείς: Velan S., S.

Πηγή: 2020 Advances in Science and Engineering Technology International Conferences (ASET) Advances in Science and Engineering Technology International Conferences (ASET), 2020. :1-5 Feb, 2020

Relation: 2020 Advances in Science and Engineering Technology International Conferences (ASET)

Using Aspect Oriented Programming and Monitor Oriented Programming in Timetable Generation System

Συγγραφείς: Grigoriţă, Delia-Iustina, Duţuc, Paul, Cotiugă, Ionela, Boboc, Raul-Mădălin, Iftene, Adrian

Πηγή: In Procedia Computer Science 2025 270:2562-2571