Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
Supply chains are ubiquitous in the manufacturing of many complex products. Traditionally, supply chains have been created through the intricate interactions of human representati...
One of the major goals in the development of virtual environments in recent years has been to create more and more realistic scenery, characters and natural human forms of interact...
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...