This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
- Web-based information systems (WBIS) include the website part and the system part, and easy-to-use website is particular critical to the success of WBIS. This paper argues that t...
: Data warehouse projects, today, are in an ambivalent situation. On the one hand, data warehouses are critical for a company's success and various methodological and technolo...
This paper demonstrates the effectiveness of genetic algorithms in training stable behavior in a model of the spinoneuromuscular system (SNMS). In particular, we test the stabili...
In this paper, we describe a proactive recovery scheme based on service migration for long-running Byzantine fault tolerant systems. Proactive recovery is an essential method for ...