3483 search results - page 197 / 697 » Forward |
152
click to vote
FGCS
2006
15 years 4 months ago
2006
We consider a model where commodity service providers are offering commodity computational services to a set of customers. We provide a solution for the efficient distribution of ...
126
click to vote
FMSD
2006
15 years 4 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
102
click to vote
FS
2006
15 years 4 months ago
2006
Abstract. Currently, there are two market models for valuation and risk management of interest rate derivatives, the LIBOR and swap market models. We introduce arbitrage-free const...
118
click to vote
FS
2006
15 years 4 months ago
2006
We introduce a general approach to model a joint market of stock price and a term structure of variance swaps in an HJM-type framework. In such a model, strongly volatility-depend...
135
click to vote
CN
2007
15 years 4 months ago
2007
In this paper, we develop a rigorous, unified framework based on ordinary differential equations (ODEs) to study epidemic routing and its variations. These ODEs can be derived a...