Sciweavers

356 search results - page 28 / 72
» Goal-Driven Analysis of Process Model Validity
Sort
View
INFOCOM
2000
IEEE
14 years 3 days ago
Stochastic Modeling of TCP over Lossy Links
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
Alhussein A. Abouzeid, Sumit Roy, Murat Azizoglu
ISIM
2007
13 years 9 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
PATMOS
2004
Springer
14 years 1 months ago
Physical Extension of the Logical Effort Model
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
B. Lasbouygues, Robin Wilson, Philippe Maurine, Na...
ECCV
2004
Springer
14 years 1 months ago
Statistical Imaging for Modeling and Identification of Bacterial Types
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
Sigal Trattner, Hayit Greenspan, Gabi Tepper, Shim...
ICIAR
2007
Springer
14 years 1 months ago
Bimodal Texture Segmentation with the Lee-Seo Model
This paper presents a novel approach to bimodal texture segmentation. The proposed approach features a local binary pattern-based scheme to transform bimodal textures into bimodal ...
Michalis A. Savelonas, Dimitrios K. Iakovidis, Dim...