5144 search results - page 628 / 1029 » Enhancing Search with Structure |
233
click to vote
SPIN
2004
Springer
16 years 6 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
201
click to vote
MTV
2003
IEEE
16 years 3 days ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
168
click to vote
WECWIS
2003
IEEE
16 years 3 days ago
2003
IEEE
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...
169
click to vote
ACG
2003
Springer
16 years 2 days ago
2003
Springer
We describe two Go programs, ¢¡¤£¦¥ and ¢¡¤§¨£ , developed by a Monte-Carlo approach that is simpler than Bruegmann’s (1993) approach. Our method is based on Abra...
176
click to vote
EPIA
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. One of the most influential factors in the quality of the solutions found by an evolutionary algorithm is the appropriateness of the fitness function. Specifically in ...