1750 search results - page 59 / 350 » E-Commerce Development Procedure |
141
click to vote
WSC
2004
15 years 7 months ago
2004
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...
186
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
179
click to vote
CASCON
2000
15 years 7 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
154
click to vote
ICA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
184
click to vote
CONIELECOMP
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present a set of formulations that describe some properties of the configurations that can represent the n-Dimensional Orthogonal PseudoPolytopes. Moreover, we de...