4276 search results - page 481 / 856 » Techniques for Empirical Validation |
210
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
171
click to vote
ECAI
2006
Springer
2006
Springer
Identifying Inter-Domain Similarities Through Content-Based Analysis of Hierarchical Web-Directories
15 years 10 months ago
Providing accurate personalized information services to the users requires knowing their interests and needs, as defined by their User Models (UMs). Since the quality of the person...
170
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper concerns the iterative implementation of a knowledge model in a data mining context. Our approach relies on coupling a Bayesian network design with an associat...
161
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
161
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...