Sciweavers

356 search results - page 16 / 72
» Goal-Driven Analysis of Process Model Validity
Sort
View
SAC
2005
ACM
14 years 1 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
ICIP
2005
IEEE
14 years 9 months ago
Spatio-temporal attention model for video content analysis
This paper presents a new model of human attention that allows salient areas to be extracted from video frames. As automatic understanding of video semantic content is still far fr...
Mickael Guironnet, Nathalie Guyader, Denis Pelleri...
ICDCS
2007
IEEE
14 years 2 months ago
A Multiphased Approach for Modeling and Analysis of the BitTorrent Protocol
BitTorrent is one of the most popular protocols for content distribution and accounts for more than 15% of the total Internet traffic. In this paper, we present an analytical mod...
Vivek Rai, Swaminathan Sivasubramanian, Sandjai Bh...
WSC
2000
13 years 9 months ago
Simulation based operational analysis of future space transportation systems
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
Alex J. Ruiz-Torres, Edgar Zapata
HAIS
2010
Springer
14 years 15 days ago
On the Use of a Hybrid Approach to Contrast Endmember Induction Algorithms
Abstract. In remote sensing hyperspectral image processing, identifying the constituent spectra (endmembers) of the materials in the image is a key procedure for further analysis. ...
Miguel A. Veganzones, Carmen Hernández