4067 search results - page 525 / 814 » Programs for Applying Symmetries |
181
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
160
click to vote
CIE
2005
Springer
16 years 4 days ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
165
click to vote
FCA
2005
Springer
16 years 3 days ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
182
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
137
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
Although there exist many phasing methods for unrelated adults or pedigrees, phasing and missing data recovery for data representing family trios is lagging behind. This paper is a...