2905 search results - page 383 / 581 » Formal Memetic Algorithms |
136
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
113
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
139
click to vote
ICIW
2008
IEEE
15 years 10 months ago
2008
IEEE
—Semantic web service composition is about finding services from a repository that are able to accomplish a specified task if executed. The task is defined in a form of a comp...
144
click to vote
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...
146
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...