29082 search results - page 5494 / 5817 » The Time-Triggered Model of Computation |
189
click to vote
JELIA
2004
Springer
16 years 27 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...
214
click to vote
MFCS
2004
Springer
16 years 26 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...
232
click to vote
MIDDLEWARE
2004
Springer
16 years 26 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...
204
click to vote
MMAS
2004
Springer
16 years 26 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 ...
244
click to vote
ROBOCUP
2004
Springer
16 years 26 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 ...