Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
The paper presents a method for uncertainty propagation in Bayesian networks in symbolic, as opposed to numeric, form. The algebraic structure of probabilities is characterized. Th...
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...