Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
Di Wu, Qi Li, Mei He, Barry W. Boehm, Ye Yang, Sup...
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
Abstract— In this work, we study the inconsistency of EKFbased SLAM from the perspective of observability. We analytically prove that when the Jacobians of the state and measurem...
Guoquan Huang, Anastasios I. Mourikis, Stergios I....
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...