1392 search results - page 7 / 279 » A Calculus for Dynamic Linking |
ICTAI
2002
IEEE
14 years 15 days ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
IANDC
2010
13 years 5 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
JELIA
1998
Springer
13 years 11 months ago
1998
Springer
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...
RTS
2011
12 years 10 months ago
2011