—This paper presents a program for structural synthesis -conception and design work-of the multiple fixture devices in the machine-tool structure. This program was created accord...
This paper explores the applicability of the concepts of absorptive capacity and ``ba'' to ex ante project risk. We develop a hybrid framework to explain knowledge trans...
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Va...
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...