Sciweavers

3192 search results - page 321 / 639
» Translating Model Simulators to Analysis Models
Sort
View
127
Voted
MASCOTS
2008
15 years 5 months ago
Modeling Software Contention using Colored Petri Nets
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
Nilabja Roy, Akshay Dabholkar, Nathan Hamm, Lawren...
COOP
2004
15 years 5 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
152
Voted
ESANN
2006
15 years 5 months ago
Hierarchical markovian models for joint classification, segmentation and data reduction of hyperspectral images
Spectral classification, segmentation and data reduction are the three main problems in hyperspectral image analysis. In this paper we propose a Bayesian estimation approach which ...
Nadia Bali, Ali Mohammad-Djafari, Adel Mohammadpou...
112
Voted
FSS
2008
87views more  FSS 2008»
15 years 3 months ago
Representing parametric probabilistic models tainted with imprecision
Numerical possibility theory, belief function have been suggested as useful tools to represent imprecise, vague or incomplete information. They are particularly appropriate in unc...
Cédric Baudrit, Didier Dubois, Nathalie Per...
123
Voted
IJAR
2007
104views more  IJAR 2007»
15 years 3 months ago
On representation and aggregation of social evaluations in computational trust and reputation models
Interest for computational trust and reputation models is on the rise. One of the most important aspects of these models is how they deal with information received from other indi...
Jordi Sabater-Mir, Mario Paolucci