Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
This paper presents a prototype of a low-cost Mixed Reality Interactive Table (MRIT) which is equipped with a Web camera, a projector, animal-appearance robots, gloves with acceler...
Mu-Chun Su, Gwo-Dong Chen, Yi-Shan Tsai, Ren-Hao Y...