29082 search results - page 5494 / 5817 » The Time-Triggered Model of Computation |
169
click to vote
JELIA
2004
Springer
16 years 2 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
187
click to vote
MFCS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
198
click to vote
MIDDLEWARE
2004
Springer
16 years 2 days ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
175
click to vote
MMAS
2004
Springer
16 years 2 days ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
218
click to vote
ROBOCUP
2004
Springer
16 years 2 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...