5180 search results - page 76 / 1036 » Concurrency, Time, and Constraints |
133
click to vote
IAT
2005
IEEE
15 years 12 months ago
2005
IEEE
The mobile agent technology is an important research area in the scope of code mobility. As part of an agent mission objective, it may exist the necessity of meeting an end-to-end...
136
click to vote
AAAI
2007
15 years 8 months ago
2007
We develop an efficient incremental version of an existing cost-based filtering algorithm for the knapsack constraint. On a universe of n elements, m invocations of the algorith...
195
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
165
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
160
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...