718 search results - page 6 / 144 » From decision theory to decision aiding methodology |
MASCOTS
2007
14 years 11 months ago
2007
— We present a tool, PerfCenter, that takes as input the deployment, configuration, message flow and workload details of the hardware and software servers in an application hos...
103
click to vote
GRC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns ...
JELIA
2004
Springer
15 years 2 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
EOR
2006
14 years 9 months ago
2006
The fuzzy set is one of the powerful tools used to describe an uncertain environment. As well as quantifying any potential return and risk, portfolio liquidity is taken into accou...
113
click to vote
ASIAN
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...