Sciweavers

474 search results - page 8 / 95
» Assurance Based Development of Critical Systems
Sort
View
HASE
2008
IEEE
14 years 1 months ago
Low Cost Secure Computation for the General Client-Server Computation Model
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
Liangliang Xiao, I-Ling Yen, Farokh B. Bastani
IJCNN
2000
IEEE
13 years 11 months ago
Robust Adaptive Critic Based Neurocontrollers for Systems with Input Uncertainties
A two-neural network approach to solving nonlinear optimal control problems is described in this study. This approach called the adaptive critic method consists of one neural netw...
Zhongwu Huang, S. N. Balakrishnan
TSMC
2008
138views more  TSMC 2008»
13 years 7 months ago
Comparison of Adaptive Critic-Based and Classical Wide-Area Controllers for Power Systems
Abstract--An adaptive critic design (ACD)-based damping controller is developed for a thyristor-controlled series capacitor (TCSC) installed in a power system with multiple poorly ...
Swakshar Ray, Ganesh K. Venayagamoorthy, Balarko C...
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
13 years 11 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...
CSE
2009
IEEE
13 years 8 months ago
Time Critical Content Delivery Using Predictable Patterns in Mobile Social Networks
In Mobile Social Networks (MSN) individuals with similar interests or commonalities connect to each other using the mobile phones. MSN are special kind of Ad-hoc Networks in which ...
Fawad Nazir, Jianhua Ma, Aruna Seneviratne