Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
Tianzhou Chen, Qingsong Shi, Hu Wei, Jolly Wang, N...
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
Document assembly software is a technology that is fundamental to disrupting law firms. This article uses the framework set out by Clayton Christensen in The Innovator’s Dilemma...
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
Abstract--Recent advances in network coding research dramatically changed the underlying structure of optimal multicast routing algorithms and made them efficiently computable. Whi...