1750 search results - page 59 / 350 » E-Commerce Development Procedure |
115
click to vote
WSC
2004
15 years 4 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...
164
Voted
ICFP
2010
ACM
15 years 4 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...
149
click to vote
CASCON
2000
15 years 4 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...
128
click to vote
ICA
2004
Springer
15 years 8 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. ...
149
Voted
CONIELECOMP
2004
IEEE
15 years 7 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...