1792 search results - page 123 / 359 » Requirements Capture with RCAT |
169
click to vote
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
202
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
272
click to vote
JORS
2010
15 years 1 months ago
2010
Monte Carlo simulation is a common method for studying the volatility of market traded instruments. It is less employed in retail lending, because of the inherent nonlinearities in...
183
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The purpose of this paper is to model the stochastic behavior of the nodal prices of electricity in deregulated markets in the USA, and in particular, to explain how this behavior...
229
click to vote
CVIU
2011
14 years 10 months ago
2011
In this paper we combine methods from the field of computer vision with surface editing techniques to generate animated faces, which are all in full correspondence to each other....