We present our experience using the Gandalf environment generation system as a prototyping vehicle for the Inscape Environment. Our positive experience included experimentation, i...
Steven S. Popovich, William M. Schell, Dewayne E. ...
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
In this paper, we introduce a new watermarking system for IP protection on post-layout design phase. Firstly the copyright is encrypted by DES (Data Encryption Standard) and then ...
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...