5210 search results - page 655 / 1042 » Computing Capabilities of Mediators |
221
click to vote
POLICY
2004
Springer
16 years 5 days ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
161
click to vote
PPSN
2004
Springer
16 years 5 days ago
2004
Springer
This paper addresses the cooperative transport of a heavy object, called prey, towards a sporadically changing target location by a group of robots. The study is focused on the sit...
186
click to vote
SOFSEM
2004
Springer
16 years 5 days ago
2004
Springer
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...
194
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
233
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...