Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
—Due to the exponential growth of information on the Web, Recommender Systems have been developed to generate suggestions to help users overcome information overload and sift thr...
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...