This paper presents an Activity Theoretical analysis and design model for Web-based experimentation, which is one of the online activities that plays a key role in the development ...
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
—The commercial development of haptic devices is very promising. Existing systems are often 6-degree-of-freedom mechanisms equipped with a stylus that acts as a tool. They exhibi...
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
Abstract— This paper presents an implementation-oriented breadthfirst tree search MIMO detector design solution. Techniques at algorithm and VLSI architecture levels are develop...