EMPIRICAL EVIDENCE ON SYSTEM IMPLEMENTATION FAILURES IN THE ENTERPRISE RESOURCE PLANNING DEVELOPMENT PROCESS

Enterprise resource planning (ERP) relates primarily to software for business management, which consists of many modules that are essential for the growth and survival of various types of companies and organisations. By allowing faster supply chain management, the incorporation of similar business applications in an organisation will bring considerable advantages to the organisation. In order to increase business efficiency, ERP implementation helps businesses to adapt and customise information flows and automate business processes. The implementation of the system was reviewed with sufficient literature to substantially support the significance of arithmetic and logical principles and basic programming errors, including programme typographical errors, syntax error detection, and programme output process errors. Furthermore, the declaration of variables, the significance of modularisation and the need to support accessories, the accessibility of library files and the importance of frameworks have been discussed. In order to recognise framework implementation deficiencies in the ERP development process, improvement of coding formatting and significance of coding syntax were also critically checked with appropriate literature. JEL: L53; O10; L22 Article visualizations

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000

Natural Language Processing: Emerging Neural Approaches and Applications

This Special Issue highlights the most recent research being carried out in the NLP field to discuss relative open issues, with a particular focus on both emerging approaches for language learning, understanding, production, and grounding interactively or autonomously from data in cognitive and neural systems, as well as on their potential or real applications in different domains

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

AXMEDIS 2008

The AXMEDIS International Conference series aims to explore all subjects and topics related to cross-media and digital-media content production, processing, management, standards, representation, sharing, protection and rights management, to address the latest developments and future trends of the technologies and their applications, impacts and exploitation. The AXMEDIS events offer venues for exchanging concepts, requirements, prototypes, research ideas, and findings which could contribute to academic research and also benefit business and industrial communities. In the Internet as well as in the digital era, cross-media production and distribution represent key developments and innovations that are fostered by emergent technologies to ensure better value for money while optimising productivity and market coverage

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Artificially Intelligent Copyright: Rethinking Copyright Boundaries

My dissertation explores the legal boundaries of copyright law in the wake of artificial intelligence (AI) technology. In building the theoretical foundations for my dissertation, I go through several key phases. First, I highlight important historical events and milestones in AI. I further develop the philosophical debate on AI legal personhood and deliberate whether we are approaching a singularity the next stage of AI evolution. I also explore the concept of AI as it matured through the years. In the second part, I theorize how AI can be regarded as an author under IP normative standards. Part of accepting the argument that AI deserve copyright is a willingness to change the perception that only human creations are worthy of copyright protection. I also seek an answer to two sub-questions the who and the what. The who considers the normative standards of authorship in the ongoing struggle between an authors right and the public domain. The what raise the originality debate and discusses the standard of creation. In the third part, I outline the many candidates for AI authorship the programmer, the user, the AI and an alternative legal framework for AIs ownership like the public domain or author-in-law. Finally, I discuss the outcomes of each model and provide my conclusions

General Course Catalog [January-June 2020]

Undergraduate Course Catalog, January-June 2020https://repository.stcloudstate.edu/undergencat/1131/thumbnail.jp

General Course Catalog [July-December 2020]

Undergraduate Course Catalog, July-December 2020https://repository.stcloudstate.edu/undergencat/1132/thumbnail.jp