Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
This work explores Tcl-Tk 8.0 as a tool to easily build script based GUIs for Ada95 realtime systems. Tcl-Tk 8.0 is a library that makes graphic programming easier, but it suffers...
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
Discovering sequential patterns is an important problem in data mining with a host of application domains including medicine, telecommunications, and the World Wide Web. Conventio...
Minos N. Garofalakis, Rajeev Rastogi, Kyuseok Shim
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...