8232 search results - page 1482 / 1647 » Dynamic Logic Programming |
159
Voted
SAC
2000
ACM
15 years 9 months ago
2000
ACM
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
125
click to vote
SAC
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents XMARS, a programmable coordination architecture for Internet applications based on mobile agents. In XMARS, agents coordinate – both with each other and with...
140
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
We present a scalable, high-performance solution to multidimensional recurrences that arise in adaptive statistical designs. Adaptive designs are an important class of learning al...
170
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
136
click to vote
ASPDAC
1999
ACM
15 years 9 months ago
1999
ACM
We study a type of linear placement problem arising in detailed placement optimization of a given cell row in the presence of white-space (extra sites). In this single-row placeme...