Sciweavers

7527 search results - page 277 / 1506
» Design and implementation of the KioskNet system
Sort
View
174
Voted
SSR
2001
73views more  SSR 2001»
15 years 8 months ago
XML implementation of frame processor
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...
ACII
2005
Springer
16 years 4 days ago
Informal User Interface for Graphical Computing
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...
Zhengxing Sun, Jing Liu
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
16 years 2 days ago
Component Reuse in B Using ACL2
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 ï¬...
Yann Zimmermann, Diana Toma
SIGUCCS
2000
ACM
15 years 10 months ago
Developing and Implementing a Comprehensive Training and Incentive Program for Student Employees in Information Technology
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...
Jim Osborn
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 11 months ago
Stability of quantized time-delay nonlinear systems: A Lyapunov-Krasowskii-functional approach
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...
Claudio De Persis, Frédéric Mazenc