277 results
Search Results
52. On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.
53. A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing.
54. R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture.
55. Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach.
56. Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids.
57. GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction Networks.
58. Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems.
59. From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems.
60. Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids.
61. Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors.
62. Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios.
63. What We Know About Software Architecture Styles in Continuous Delivery and DevOps?
64. Quantitative Analysis of Mutant Equivalence.
65. Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing.
66. An Integrated Requirements Engineering Framework for Agile Software Product Lines.
67. Smart Measurements and Analysis for Software Quality Enhancement.
68. A Practical Approach for Constraint Solving in Model Transformations.
69. Empowering Continuous Delivery in Software Development: The DevOps Strategy.
70. Systematic Refinement of Softgoals Using a Combination of KAOS Goal Models and Problem Diagrams.
71. Model-Based On-the-Fly Testing of Web Applications and Multilingual Websites.
72. Simplifying the Classification of App Reviews Using Only Lexical Features.
73. On the Impact of Order Information in API Usage Patterns.
74. Modular Programming and Reasoning for Living with Uncertainty.
75. A Software Product Line Approach to Design Secure Connectors in Component-Based Software Architectures.
76. Guiding the Functional Change Decisions in Agile Project: An Empirical Evaluation.
77. Using Semantic Metrics to Predict Mutation Equivalence.
78. A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability.
79. Wise Objects for IoT (WIoT): Software Framework and Experimentation.
80. Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.
81. An Agent-Based Planning Method for Distributed Task Allocation.
82. Automatic Test Data Generation for a Given Set of Applications Using Recurrent Neural Networks.
83. Can Commit Change History Reveal Potential Fault Prone Classes? A Study on GitHub Repositories.
84. Solving Multiobjective Knapsack Problem Using Scalarizing Function Based Local Search.
85. Classifying Big Data Analytic Approaches: A Generic Architecture.
86. Towards a Goal-Oriented Framework for Partial Agile Adoption.
87. WOF: Towards Behavior Analysis and Representation of Emotions in Adaptive Systems.
88. Towards a Digital Business Operating System.
89. From Specification to Implementation of an Automotive Transport System.
90. Assessing the User-Perceived Quality of Source Code Components Using Static Analysis Metrics.
91. Application of Fuzzy Logic to Assess the Quality of BPMN Models.
92. Monitoring and Control of Vehicles' Carbon Emissions.
93. A Machine Learning Approach for Game Bot Detection Through Behavioural Features.
94. Identifying Class Integration Test Order Using an Improved Genetic Algorithm-Based Approach.
95. A Technology for Optimizing the Process of Maintaining Software Up-to-Date.
96. Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts.
97. Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates.
98. A New Approach for Automatic Development of Reconfigurable Real-Time Systems.
99. CRMPSoC: New Solution for Feasible Reconfigurable MPSoC.
100. Testing Web Services with Model-Based Mutation.
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.