Sciweavers

4110 search results - page 500 / 822
» Performance modeling using Monte Carlo simulation
Sort
View
SECURWARE
2008
IEEE
16 years 1 months ago
Formal Modeling of Authentication in SIP Registration
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
Anders Moen Hagalisletto, Lars Strand
BIBE
2007
IEEE
148views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
A New Smoothing Model for Analyzing Array CGH Data
—Array based Comparative Genomic Hybridization (CGH) is a molecular cytogenetic method for the detection of chromosomal imbalances and it has been extensively used for studying c...
Nha Nguyen, Heng Huang, Soontorn Oraintara, An P. ...
COMPGEOM
2004
ACM
16 years 5 days ago
Adaptive mesh generation for real-time terrain modeling
In this simulation we demonstrate how real-time multiresolution approaches based on underlying geometries are used in terrain visualization. The animated sequence demonstrates app...
Russel A. Apu, Marina L. Gavrilova
JCST
2010
189views more  JCST 2010»
15 years 1 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
CONIELECOMP
2006
IEEE
16 years 24 days ago
WISBuilder: A Framework for Facilitating Development of Web-Based Information Systems
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
Angel Israel Ortiz-Cornejo, Heriberto Cuayá...