Search Results - Automatic Programming—program modify- creation General Terms Reliability

Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

Authors: Wei-Chuan Wang

Source: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

Subject Terms: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

DEPS: a model- and property-based language for system synthesis problems.

Authors: Yvars, Pierre-Alain Zimmer, Laurent

Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Subject Terms: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Recent Technological Advancements in BIM and LCA Integration for Sustainable Construction: A Review.

Authors: Chen, Zhonghao Chen, Lin Zhou, Xingyang et al.

Source: Sustainability (2071-1050); Feb2024, Vol. 16 Issue 3, p1340, 30p

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2024, Vol. 153 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

A Survey on End-User Robot Programming.

Authors: AJAYKUMAR, GOPIKA STEELE, MAUREEN CHIEN-MING HUANG

Source: ACM Computing Surveys; Nov2022, Vol. 54 Issue 8, p1-36, 36p

Subject Terms: ROBOT programming, INDIVIDUAL needs, HUMAN-robot interaction

FEDERAL REGISTER.

Source: Federal Register (National Archives & Records Service, Office of the Federal Register); 2/25/2025, Vol. 90 Issue 36, p1-115, 115p

Subject Terms: HOUSE construction, HUMAN services, ENGINEERING standards, INTERNET forums, UNFAIR competition

DEVELOPMENT OF THE ENTERPRISE MULTI-AGENT SIMULATION MODEL FOR THE PRODUCTION OF PLASTIC WINDOWS IN ORDER TO DEVELOP THE MARKETING STRATEGY.

Authors: Aksyonov, Konstantin A. Ziomkovskaia, Polina E. Aksyonova, Olga P. et al.

Source: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM; 2019, Vol. 19 Issue 1, p241-248, 8p

Subject Terms: MARKETING strategy, PRICING, SYSTEMS software, SIMULATION methods & models, MULTIAGENT systems, INTELLIGENT agents

Benchmarking bidirectional transformations: theory, implementation, application, and assessment.

Authors: Anjorin, Anthony Buchmann, Thomas Westfechtel, Bernhard et al.

Source: Software & Systems Modeling; May2020, Vol. 19 Issue 3, p647-691, 45p

Subject Terms: BENCHMARKING (Management), HETEROGENEITY, EVALUATION, SYNCHRONIZATION

High‐frequency trading from an evolutionary perspective: Financial markets as adaptive systems.

Authors: Manahov, Viktor Hudson, Robert Urquhart, Andrew

Source: International Journal of Finance & Economics; Apr2019, Vol. 24 Issue 2, p943-962, 20p

Subject Terms: HIGH-frequency trading (Securities), FINANCIAL markets, ALGORITHMS, ECONOMIC development, GENETIC programming, STOCK exchanges

The SSP: an example of high-assurance systems engineering.

Authors: Wickstrom, G.L. Davis, J. Morrison, S.E. et al.

Source: 2004 Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering; 2004, p167-177, 11p

Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey.

Authors: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

Source: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p56:1-56:36, 36p, 1 Diagram, 5 Charts, 1 Graph

Subject Terms: COMPUTER software safety measures, MACHINE learning, ARTIFICIAL intelligence, DATA mining, DATABASE searching

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Authors: Shahriar, Hossain Zulkernine, Mohammad

Source: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p11-11:46, 46p, 6 Diagrams, 12 Charts

Subject Terms: PROGRAMMING languages, COMPUTER security, COMPUTER programming, SOFTWARE engineering, COMPUTER software, COMPUTER science

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Proceedings of the 2024 4th International Conference on Education, Language and Art (ICELA 2024)

Authors: Muhammad Faizal A. Ghani Lay Hoon Ang Mohd Sukki Othman et al.

Resource Type: eBook.

Subjects: Language and languages--Study and teaching--Congresses, Education--Congresses

Categories: EDUCATION / General, ART / General, LANGUAGE STUDY / General, LANGUAGE ARTS & DISCIPLINES / General

Abstracts.

Source: Annals of Behavioral Medicine; Mar2016 Supplement, Vol. 50, p1-335, 335p

Subject Terms: MEDICAL personnel training, PSYCHOLOGY, BEHAVIOR modification

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

S

Authors: Kaplan, Steven M.

Source: Wiley Electrical & Electronics Engineering Dictionary; 2004, p676-768, 93p

Proceedings of the 2024 2nd International Conference on Digital Economy and Management Science (CDEMS 2024)

Authors: Junfeng Liao Hongbo Li Edward H. K. Ng

Resource Type: eBook.

Subjects: Management--Congresses, Electronic commerce--Congresses

Categories: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Management Science

5G and Beyond

Authors: Bharat Bhushan Sudhir Kumar Sharma Raghvendra Kumar et al.

Resource Type: eBook.

Subjects: 5G mobile communication systems

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General