4693 search results - page 446 / 939 » Verifying Hybrid Systems |
194
click to vote
WIOPT
2005
IEEE
16 years 20 days ago
2005
IEEE
Using decentralized reputation systems is a promising approach to ensuring cooperation and fairness in Mobile Ad-Hoc Networks. However, they are vulnerable to liars and robustness...
178
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
216
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
171
click to vote
ESANN
2001
15 years 8 months ago
2001
In this article, a real-coded genetic algorithm (GA) is proposed capable of simultaneously optimizing the structure of a system (number of inputs, membership functions and rules) ...
198
click to vote
FMOODS
2003
15 years 8 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...