Sciweavers

5085 search results - page 401 / 1017
» Multidimensional Design by Examples
Sort
View
EUROITV
2008
Springer
15 years 8 months ago
An Experimental Platform Based on MCE for Interactive TV
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...
Ping-Yi Liu, Hung-Wei Lee, Tsai-Yen Li, Shwu-Lih H...
SIGCOMM
2010
ACM
15 years 7 months ago
No more middlebox: integrate processing into network
Traditionally, in-network services like firewall, proxy, cache, and transcoders have been provided by dedicated hardware middleboxes. A recent trend has been to remove the middleb...
Jeongkeun Lee, Jean Tourrilhes, Puneet Sharma, Suj...
AUTOMATICA
2007
86views more  AUTOMATICA 2007»
15 years 7 months ago
Switched seesaw control for the stabilization of underactuated vehicles
This paper addresses the stabilization of a class of nonlinear systems in the presence of disturbances, using switching controllers. To this effect we introduce two new classes o...
A. Pedro Aguiar, João P. Hespanha, Ant&oacu...
AUTOMATICA
2008
106views more  AUTOMATICA 2008»
15 years 7 months ago
Constructive stabilization for quadratic input nonlinear systems
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...
Jianghua Zhong, Daizhan Cheng, Xiaoming Hu
ENTCS
2008
102views more  ENTCS 2008»
15 years 7 months ago
Encoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Kazunori Ueda