A Data Security Formal Verification Framework for IoT Application Systems

Authors: Liu, Jishun, Cao, Yaohe, Zhou, Zhengda, Tian, Ting

Source: 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

Authors: Ishimura, Osamu, Yoshimoto, Yoshihide

Source: 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

Authors: Moniruzzaman, Md, Alam, Alima M.

Source: 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

Authors: Bhar, A., Sengupta, S., Choudhury, S.

Source: IEEE Access Access, IEEE. 13:129451-129460 2025

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

Authors: Pacione, Luciano, Urribarri, Dana K., Larrea, Martin L., Tamargo, Luciano H.

Source: 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

Authors: Strauch, Tobias

Source: 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

Authors: Qu, Can, Li, Yuan

Source: 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

Authors: Ishimura, Osamu, Yoshimoto, Yoshihide

Source: 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

Authors: 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.

Source: 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

Authors: Ma, Shang-Pin, Lu, Tsung-Wen, Li, Chung-Chieh

Source: 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

Authors: AlSobeh, A.M.R., Magableh, A.A.

Source: IEEE Access Access, IEEE. 11:115062-115075 2023

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

Authors: Ishimura, Osamu, Yoshimoto, Yoshihide

Source: 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

Authors: Chebout, Mohamed Sedik

Source: 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

Authors: Han, Zhao, Wang, Deyan, Rutsch, Gabriel, Li, Bowen, Prebeck, Sebastian Siegfried, Lopera, Daniela Sanchez, Devarajegowda, Keerthikumara, Ecker, Wolfgang

Source: 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

Authors: Cheers, H., Lin, Y.

Source: 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

Authors: Manju, Bhatia, Pradeep Kumar

Source: 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

Authors: Berta, Peter, Vranic, Valentino

Source: 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

Authors: Made Satvika Iswari, Ni, Budiardjo, Eko K., Hasibuan, Zainal A.

Source: 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

Authors: Velan S., S.

Source: 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

Authors: Grigoriţă, Delia-Iustina, Duţuc, Paul, Cotiugă, Ionela, Boboc, Raul-Mădălin, Iftene, Adrian

Source: In Procedia Computer Science 2025 270:2562-2571