Hessel, A. 2007. Model-Based Test Case Generation for Real-Time Systems. Acta Universitatis Upsaliensis. Uppsala Dissertations from the Faculty of Science and Technology 1214. 51 pp. Uppsala. ISBN 91-554-5436-4 Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and ...

The CTCS-3(Chinese Train Control System level 3) is an automatic system which is an integrated of advanced control technology, advanced communication technology, advanced computer technology and railway signal technology. It plays an important role in assuring safety and improving efficiency in railway. As a core subsystem in CTCS-3, the onboard subsystem is a typical safety-critical system, in...

In recent years, along with rapid developments in technology, computer systems haveincreasingly become more integrated and more modular. Indeed, the reliability and efficiency ofcomputer systems are of high significance. Hence, the quantitative evaluation of the optimizationof reliability indexes in computer systems is considered to be a crucial issue. Reliabilityenhancement of computer systems...

introduction: neglecting to define important criteria in developing a basic health insurance package and to notice their real roles will result in defining a package which is politically unacceptable, non-economical, technically inefficient or mixed of them. therefore development of basic health insurance package should be according to appropriate composition of influential criteria. this study...

Distributed computing has made signiicant advances in the past few years as witnessed by the release of OSF's Distributed Computing Environment (DCE) and the adoption of a set of speciications for distributed object computing by the Object Management Group (OMG). In this report, we discuss OMG's work in distributed computing based on object technology. We attempt to provide a comprehensive cove...

The proliferation of both Partially Depleted SiliconOn-Insulator (PD-SOI) technology and domino circuit styles has allowed for increases in circuit performance beyond that of scaling traditional bulk CMOS static circuits. However, interactions between dynamic circuit styles and PD-SO1 complicate testing. This paper describes the issues of testing domino circuits fabricated in SO1 technology and...

BACKGROUND As preventive medicine is a cornerstone of managed care, most health plans have traditionally featured automatic vaccine coverage routed through the medical benefit. However, with the advent of emerging vaccines, managed care stakeholders must revise decision-making processes and choose among multiple products targeting the same disease. OBJECTIVE To review the motivating forces be...

The proliferation of both Partially Depleted SiliconOn-Insulator (PD-SOI) technology and domino circuit styles has allowed for increases in circuit performance beyond that of scaling traditional bulk CMOS static circuits. However, interactions between dynamic circuit styles and PD-SOI complicate testing. This paper describes the issues of testing domino circuits fabricated in SOI technology and...

We surveyed practitioners about the use of HR technology in their organizations and expectations for future changes. We then surveyed faculty about the coverage of HR technology in their curriculum. While most practitioners reported they use technology primarily for administrative purposes, fully 82% felt their companies would be migrating in the next five years toward greater use of HRIS. By c...

The strategic benefits of computer based information systems have been well documented in the literature. In the same light, researchers have also unveiled various factors that promote strategic uses of computer based information systems. Among the identified factor is information technology infrastructure flexibility (ITIF). However, previous studies focusing on the contribution of information...