Documenting and verifying systems assembled from components Zhiying LiuDavid Lorge ParnasBaltasar Trancon y Widemann Research Article 24 May 2010 Pages: 151 - 161
A concern-based approach to generating formal requirements specifications Ying JinJing ZhangHong Mei Research Article 14 May 2010 Pages: 162 - 172
On the computation of quotients and factors of regular languages Mircea MarinTemur Kutsia Research Article 17 May 2010 Pages: 173 - 184
Financial information processing and development of emerging financial markets Shuo BaiShouyang WangAoying Zhou Editorial 14 May 2010 Pages: 185 - 186
Modeling default risk via a hidden Markov model of multiple sequences Wai-Ki ChingHo-Yin LeungHao Jiang Research Article 22 May 2010 Pages: 187 - 195
Developing an SVM-based ensemble learning system for customer risk identification collaborating with customer relationship management Lean YuShouyang WangKin Keung Lai Research Article 10 May 2010 Pages: 196 - 203
A class of life insurance reserve model and risk analysis in a stochastic interest rate environment Niannian JiaChangqing JiaWei Qiu Research Article 17 May 2010 Pages: 204 - 211
N-person credibilistic strategic game Rui LiangYueshan YuZhi-Qiang Liu Research Article 14 May 2010 Pages: 212 - 219
Corporate financial distress diagnosis model and application in credit rating for listing firms in China Ling ZhangEdward I. AltmanJerome Yen Research Article 22 May 2010 Pages: 220 - 236
Evaluation of mutual funds using multi-dimensional information Xiujuan ZhaoJianmin Shi Research Article 22 May 2010 Pages: 237 - 253
Neural network methods for forecasting turning points in economic time series: an asymmetric verification to business cycles Dabin ZhangLean YuHaibin Xie Research Article 17 May 2010 Pages: 254 - 262
Using jump-diffusion modeling for valuing real options in infrastructure projects Guoxing ZhangJu’e GuoXuejun Wang Research Article 13 May 2010 Pages: 263 - 270
Partially funded public pension, human capital and endogenous growth Zaigui Yang Research Article 13 May 2010 Pages: 271 - 279
Knowledge discovery through directed probabilistic topic models: a survey Ali DaudJuanzi LiFaqir Muhammad Review Article 27 January 2010 Pages: 280 - 301
ID-based authenticated group key agreement from bilinear maps Xixiang LvHui Li Research Article 10 December 2009 Pages: 302 - 307
