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 introduces the Stochastic Project Scheduling Simulation (SPSS) system and two additional useful statistical analysis tools. SPSS integrates CPM, PERT, and Discrete Even...
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
Business intelligence (BI) technology and research is maturing. In evidence, some practitioners have indicated a shift in the nature of their data warehousing challenges from bein...
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...