A quantitative study has shown that frame technology [1] supported by Fusion toolset can lead to reduction in time-tomarket (70%) and project costs (84%). Frame technology has bee...
Tak Wong, Stan Jarzabek, Soe Myat Swe, Ru Shen, Ho...
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Anyone who works with student employees knows that while it is often difficult to train sufficiently, it is of the utmost importance to have a qualified, knowledgeable staff. We w...
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...