4340 search results - page 779 / 868 » Formal Methods and Cryptography |
142
click to vote
JAPLL
2008
15 years 4 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
167
click to vote
IJON
2006
15 years 4 months ago
2006
This paper proposes a novel method for blindly separating unobservable independent component (IC) signals based on the use of a genetic algorithm. It is intended for its applicati...
136
click to vote
JCIT
2008
15 years 4 months ago
2008
Active database systems (ADBS) can, automatically, react to the occurrence of predefined events by definition a collection of active rules. One of the most important modules of AD...
146
Voted
INFFUS
2006
15 years 4 months ago
2006
In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports [Hun00, Hun02b, Hun02a, HS03, HS04]. Structured news report...
153
click to vote
JALC
2006
15 years 4 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...