Sciweavers

5510 search results - page 763 / 1102
» Mathematics
Sort
View
BIRTHDAY
2004
Springer
16 years 4 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
CICLING
2004
Springer
16 years 4 days ago
Hierarchies Measuring Qualitative Variables
Qualitative variables take symbolic values, such as hot, shoe, Europe or France. Sometimes, the values may be arranged in layers or levels of detail. For instance, the variable pla...
Serguei Levachkine, Adolfo Guzmán-Arenas
CONCUR
2004
Springer
16 years 4 days ago
Parameterised Boolean Equation Systems (Extended Abstract)
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
Jan Friso Groote, Tim A. C. Willemse
DFG
2004
Springer
16 years 4 days ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
ECCV
2004
Springer
16 years 4 days ago
Computer-Aided Measurement of Solid Breast Tumor Features on Ultrasound Images
This paper presents a new approach in the application of computer vision techniques to the diagnosis of solid breast tumors on ultrasound images. Most works related to medical imag...
Miguel Alemán-Flores, Patricia Alemá...