We study in this paper the problem of analyzing implementations of open systems - systems in which only some of the components are present.
This paper presents a solution for automating dual boot installations on the PC with Linux and Windows NT 4.0.
A significant part of the call processing software for Lucent's new PathStar(TM) access server [FSW98] was checked with formal verification techniques.
AT&T has designed a new program that will put business and office automation in all the field sales offices and operations work centers of its Business Markets Group, Federal Systems Group, and
Recent developments in Web technology such as the inclusion of scripting languages, frames, and the growth of dynamic content, have made the process of retrieving Web content more complicated, and
The paper deals with the design of a Robot based automation framework that can be used for the enhancement of the capabilities and standards of an enterprise functional testing.
The LTE eNodeB base station software is composed of various interconnected components, which handle different functionalities.
This paper will discuss an automated implementation of built- in (BIST) for testing embedded, configureable RAMs in ASICs.
Invited talk to OECC/PS 2013 (30 June-4 July 2013, Kyoto, Japan)
An Autonomic Transmission Agent based on machine-learning is proposed for excessive bit-error-rate prediction resulting from real-time analysis of state-of-polarization (SOP).
