828 search results - page 140 / 166 » Modularity for Timed and Hybrid Systems |
124
Voted
JSS
2010
14 years 8 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
123
click to vote
MOBISYS
2004
ACM
16 years 1 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
135
Voted
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
152
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
Online news reading has become very popular as the web provides access to news articles from millions of sources around the world. A key challenge of news websites is to help user...
119
Voted
ICARCV
2008
IEEE
15 years 8 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...