2687 search results - page 530 / 538 » Formal Analysis of PKCS |
138
click to vote
ESWA
2006
15 years 21 days ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...
114
Voted
JALC
2006
15 years 20 days ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...
115
click to vote
JAR
2006
15 years 20 days ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
125
click to vote
JCB
2006
15 years 20 days ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
107
click to vote
EC
2007
15 years 19 days ago
2007
Geometric crossover is a representation-independent generalization of the traditional crossover defined using the distance of the solution space. By choosing a distance firmly r...