In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
— In this paper, adaptive control is presented for a class of parametric output feedback nonlinear systems with output constraint. Adaptive observer backstepping is adopted to ac...
Beibei Ren, Shuzhi Sam Ge, Keng Peng Tee, Tong Hen...
Constraint based draw programs require users to understand and manage relationships between drawing elements. By establishing constraint relationships among elements the user effe...
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...