6800 search results - page 744 / 1360 » Testing with Functions as Specifications |
188
click to vote
FLAIRS
1998
15 years 8 months ago
1998
Software reuse has been demonstrated to increase productivity, reduce costs, and improve software quality. The research that has addressed this problem has concentrated on code cr...
186
click to vote
IM
1997
15 years 8 months ago
1997
In this paper we present the initial specification of a system that covers both the control and management planes of network operation, with emphasis on fault, performance, and co...
213
click to vote
VMV
2000
15 years 8 months ago
2000
The proposed approach is motivated by applications which allow user navigation and individual viewpoint specification in shared virtual environments with telepresence quality. In ...
203
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
201
click to vote
CVPR
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a new image denoising model for real color photo noise removal. Our model is implemented in the hue, saturation and intensity (HSI) space. The hue and saturati...