5622 search results - page 642 / 1125 » Solving architectural modelling problems using knowledge |
215
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
203
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, the parameters of a genetic network for rice flowering time control have been estimated using a multiobjective genetic algorithm approach. We have modified the rece...
233
click to vote
AIPRF
2008
15 years 9 months ago
2008
Unsolicited commercial or bulk emails or emails containing viruses pose a great threat to the utility of email communications. A recent solution for filtering is reputation systems...
205
click to vote
JLP
2008
15 years 7 months ago
2008
Based on a set of criteria and a measuring lattice, we introduce relational measures as generalizations of fuzzy measures. The latter have recently made their way from the interva...
192
click to vote
LMCS
2007
15 years 7 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...