3823 search results - page 279 / 765 » Stability of Hybrid Systems |
189
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
213
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile ad-hoc Grid is one of the modern distributed systems that have been introduced until now. It combines traditional grid capabilities with ad-hoc network flexibilities. Servic...
164
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— We use a novel virtualization-based approach for computer architecture performance analysis. We present a case study analyzing a hypothetical hybrid main memory, which consists...
171
click to vote
IRI
2007
IEEE
16 years 29 days ago
2007
IEEE
Recently, administration of RBAC systems using rolebased approach has become very appealing because of the benefits that a role-based approach typically brings. This approach uses...
195
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...