This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
The Experience Management System (EMS) is aimed at supporting the capture and reuse of software-related experience, based on the Experience Factory concept. It is being developed ...
DarGridâ…ˇ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
Xiaoqing Zheng, Huajun Chen, Zhaohui Wu, Yuxin Mao