3928 search results - page 352 / 786 » order 2006 |
227
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
187
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
This paper proposes a general solution model using agent technology in order to solve two critical open issues in the course timetabling problem: application-specific issues and d...
180
Voted
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
In a previous work we extended the notion of multi-unit combinatorial reverse auction (MUCRA) by adding a new dimension to the goods at auction. A buyer can express transformabilit...
190
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
195
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Mobile devices get to handle much information thanks to the convergence of diverse functionalities. Their environment has great potential of supporting customized service...