280 search results - page 33 / 56 » Termination Tools in Ordered Completion |
ISTA
2007
13 years 10 months ago
2007
: The present work is devoted to the research of investment projects’ financing issues. Within this paper a data analytical tool for an optimal financing schema computation on th...
CSREAEEE
2006
13 years 10 months ago
2006
- This paper follows the progress of improving the Arab Open University's Learning Management System by integrating it with other online systems, such as the university's...
DLOG
2003
13 years 10 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
WSS
2001
13 years 9 months ago
2001
Abstract. We study a special type of self-stabilizing algorithms composition : the cross-over composition (A B). The cross-over composition is the generalization of the algorithm c...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...