COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
Many software engineers consider usability testing as one of the more expensive, tedious and least rewarding tests to implement. Making usability testing less expensive and more r...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...