396 search results - page 44 / 80 » Combining decision procedures for the reals |
126
click to vote
IFIPTM
2010
15 years 1 days ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
104
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: It is hypothesized that common, complex diseases may be due to complex interactions between genetic and environmental factors, which are difficult to detect in high-di...
ICCV
2003
IEEE
15 years 6 months ago
2003
IEEE
Detecting the dominant normal directions to the decision surface is an established technique for feature selection in high dimensional classification problems. Several approaches...
110
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
109
click to vote
EUROSEC
2009
ACM
15 years 8 months ago
2009
ACM
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...