9264 search results - page 1603 / 1853 » Space Between Languages |
162
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Multi-Point Constructive Search maintains a small set of “elite solutions” that are used to heuristically guide constructive search through periodically restarting se...
172
click to vote
ECMDAFA
2005
Springer
16 years 4 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
172
click to vote
FC
2005
Springer
16 years 4 days ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
166
click to vote
HVC
2005
Springer
16 years 3 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
165
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...