804 search results - page 60 / 161 » On the Termination of the Chase Algorithm |
122
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
184
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
110
Voted
MOBIHOC
2002
ACM
16 years 3 days ago
2002
ACM
Due to hidden terminals and a dynamic topology, contention among stations in an ad-hoc network is not homogeneous. Some stations are at a disadvantage in opportunity of access to ...
91
Voted
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
Genetic algorithms (GAs) share a common weakness with most other metaheuristics: Candidate solutions are in general revisited multiple times, lowering diversity and wasting preciou...
121
Voted
CISIS
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...