Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwa...
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
We present an appearance-based user interface for artists to efficiently design customized image-based lighting environments. 1 Our approach avoids typical iterations of paramete...
Makoto Okabe, Yasuyuki Matsushita, Li Shen, Takeo ...
We present a system for interactively producing exploded views of 3D architectural environments such as multi-story buildings. These exploded views allow viewers to simultaneously...
Christopher Niederauer, Mike Houston, Maneesh Agra...