Verifying Functions in Online Stock Trading Systems.

Yuyue Du Changjun Jiang

Published in: J. Comput. Sci. Technol. (2004)

Keyphrases

trading systems
technical indicators
financial forecasting
stock market
online learning
stock price
financial markets
real time
trading strategies
data mining
model checking
market data
information systems
dynamic programming
information extraction