Sciweavers

15660 search results - page 245 / 3132
» The Unbalance of Set Systems
Sort
View
BIRTHDAY
2004
Springer
16 years 6 days ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow
HYBRID
2004
Springer
16 years 5 days ago
Approximations of the Rate of Growth of Switched Linear Systems
The joint spectral radius of a set of matrices is a measure of the maximal asymptotic growth rate that can be obtained by forming long products of matrices taken from the set. This...
Vincent D. Blondel, Yurii Nesterov, Jacques Theys
IPPS
2003
IEEE
16 years 2 days ago
Performance Prediction and Its Use in Parallel and Distributed Computing Systems
Performance prediction is set to play a significant role in supportive middleware that is designed to manage workload on parallel and distributed computing systems. This middlewa...
Stephen A. Jarvis, Daniel P. Spooner, Helene N. Li...
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 11 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
LOPSTR
1994
Springer
15 years 11 months ago
A Transformation System for Definite Programs Based on Termination Analysis
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
J. Cook, John P. Gallagher