2542 search results - page 218 / 509 » One step ahead |
115
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
102
click to vote
INDOCRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. One approach to secure mobile agent execution is restricting the agent route to trusted environments. A necessary condition for this approach to be practical is that the ...
104
Voted
ICALP
1992
Springer
15 years 4 months ago
1992
Springer
Suppose that n tokens are arbitrarily placed on the n nodes of a graph. At each parallel step one token may be moved from each node to an adjacent node. An algorithm for the near-...
109
click to vote
EPIA
2009
Springer
15 years 4 months ago
2009
Springer
When building a representation of the environment for a robot in a multi-agent application, as is the case of robotic soccer, sensor and information fusion of several elements of t...
87
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...