4693 search results - page 216 / 939 » Verifying Hybrid Systems |
185
Voted
IEEECIT
2010
IEEE
15 years 3 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...
149
click to vote
ICCD
2008
IEEE
16 years 2 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...
143
click to vote
IRI
2007
IEEE
15 years 12 months 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...
172
click to vote
CDC
2009
IEEE
15 years 8 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...
153
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...