4276 search results - page 60 / 856 » Techniques for Empirical Validation |
109
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
105
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: As the number of fully sequenced genome increases, the need is greater for bioinformatics to predict or annotate genes of a newly sequenced genome. Ever since Eisenber...
108
click to vote
CASES
2010
ACM
14 years 10 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
115
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
SIGMOD
2004
ACM
16 years 4 hour ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...