504 search results - page 63 / 101 » Observational Logic |
143
click to vote
HEURISTICS
2002
15 years 2 months ago
2002
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strate...
148
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
148
click to vote
ENTCS
2010
15 years 13 days ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
144
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
112
click to vote
WSFM
2007
Springer
15 years 9 months ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...