Treffer 1 - 20 von 3.663

1

Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community
Yu, Jiazhao ; Tu, Yanlun ; Zhang, Zhanlei ; et al.
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :204-214

Konferenz
2

DDCA: A Data-Driven Context-aware Formal Verification Framework for IoT Systems
Liu, Jishun ; Cao, Yaohe ; Tian, Ting ; et al.
2025 4th International Conference on Networks, Communications and Information Technology (CNCIT) Networks, Communications and Information Technology (CNCIT), 2025 4th International Conference on. :1-5 Jul, 2025

Konferenz
3

A Data Security Formal Verification Framework for IoT Application Systems
Liu, Jishun ; Cao, Yaohe ; Zhou, Zhengda ; et al.
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

Konferenz
4

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

Konferenz
5

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

Konferenz
6

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

Fachzeitschrift
7

Runtime Verification of JavaScript Implementations Using Aspect Oriented Programming and Regular Expressions
Pacione, Luciano ; Urribarri, Dana K. ; Larrea, Martin L. ; et al.
2024 L Latin American Computer Conference (CLEI) Computer Conference (CLEI), 2024 L Latin American. :1-9 Aug, 2024

Konferenz
8

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

Konferenz
9

Design and Implementation of an Aspect-Oriented C Programming Language
Chen, Zhe ; Zhu, Yunlong ; Wang, Zhemin
Proceedings of the ACM on Programming Languages. 8(OOPSLA1):642-669

Fachzeitschrift
10

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

Konferenz
11

AspectFL: Aspect-Oriented Programming for Trustworthy and Compliant Federated Learning Systems
Anas AlSobeh ; Amani Shatnawi ; Aws Magableh
Information, Vol 16, Iss 12, p 1048 (2025)

federated learning aspect-oriented programm... FAIR principles security compliance trustworthy AI
Fachzeitschrift
12

ExecutionFlow: a tool to compute test paths of Java methods and constructors
Niemiec, William ; Silva, Keslley ; Cota, Erika
Proceedings of the XXXV Brazilian Symposium on Software Engineering. :221-226

Konferenz
13

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

Konferenz
14

Scalable Composition and Analysis Techniques for Massive Scientific Workflows
Ahn, Dong H. ; Zhang, Xiaohua ; Mast, Jeffrey ; et al.
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

Konferenz
15

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

Konferenz
16

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

Konferenz
17

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

Fachzeitschrift
18

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

Konferenz
19

Aspect-Oriented Design Automation with Model Transformation
Han, Zhao ; Wang, Deyan ; Rutsch, Gabriel ; et al.
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

Konferenz
20

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

Konferenz

Filter