PK/C++ is an object-oriented, logic-based, wide-spectrum executable specification language which support software development by incremental refinement.
1 Introduction 2 Vulnerability Management 2.1 Threats and Patch management needs . . . . . . . . . . . . . . 2.2 Patch management policies and solutions . . . . . . . . . . . .
To demonstrate the effectiveness of alternating aperture phase shift lithography for integrated circuit manufacturing, a demonstration device was designed and processed.
Since the publication of Shepp and Vardi's maximum likelihood reconstruction algorithm for emission tomography(ET), many medical research centers engaged in ET have made an effort to change their r
The work described in this paper arose when one day the author found himself in need of a good, pseudo-random number generator that would execute and produce identical results on two different comp
Concurrent C (C++) is a parallel superset of C (C++). Versions of Concurrent C have now been implemented for a variety of uniprocessors and multiprocessors.
Lucent Technologies' (Lucent's) wireless business unit, Mobility Solutions, has developed, implemented and maintains a Product-Based Environmental Management System (PBEMS) which applies Design for
The paper presents a method to operationalize Jan Gehl's questions for public space into metrics to map Russian monotowns' urban life in 2017.
The concept of sponsored content, or "1-800-DATA", has recently received attention as a means to generate additional revenue for wireless data operators without requiring end users to pay more for
This paper describes the trial jointly undertaken by Illinois Bell, Ameritech Services, AT&T, and Bell Communications Research (Bellcore) to evalute the use of Integrated Services Digital Netwo
