Sciweavers

2679 search results - page 13 / 536
» Experimental Models for Validating Technology
Sort
View
NETWORKING
2004
14 years 10 months ago
Experimental Analysis of the SABUL Congestion Control Algorithm
Several new protocols such as RBUDP, User-Level UDP, Tsunami, and SABUL, have been proposed as alternatives to TCP for high speed data transfer. The purpose of this paper is to an...
Phoemphun Oothongsap, Yannis A. Viniotis, Mladen A...
CAISE
2006
Springer
15 years 1 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
EGOV
2009
Springer
15 years 4 months ago
Refinement, Validation and Benchmarking of a Model for E-Government Service Quality
This paper presents the refinement and validation of a model for Quality of e-Government Services (QeGS). We built upon our previous work where a conceptualized model was identifie...
Babis Magoutas, Gregoris Mentzas
WSC
2008
14 years 11 months ago
How to build valid and credible simulation models
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
Averill M. Law
ASPDAC
2012
ACM
241views Hardware» more  ASPDAC 2012»
13 years 5 months ago
On error modeling of electrical bugs for post-silicon timing validation
—There is great demand for an accurate and scalable metric to evaluate the functional stimuli, testbench checkers, and DfD (Design-for-Debug) structures used in post-silicon timi...
Ming Gao, Peter Lisherness, Kwang-Ting Cheng, Jing...