4872 search results - page 124 / 975 » CBR for Modeling Complex Systems |
149
Voted
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
154
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
127
click to vote
CN
2006
15 years 4 months ago
2006
Though Connection Admission Control (CAC) in wireless networks has been studied extensively, the heterogeneous structure of Next Generation Wireless Systems (NGWS) makes CAC very ...
130
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
119
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...