13383 search results - page 2340 / 2677 » Abstractions from proofs |
184
click to vote
WORDS
2005
IEEE
16 years 11 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...
173
click to vote
CEEMAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
188
click to vote
ECWEB
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
169
click to vote
EUROCAST
2005
Springer
16 years 10 days ago
2005
Springer
abstract NP-hard optimization problem, in a general sense. From the observation that, intuitively, there are many connections among categorical concepts and structural complexity n...
214
click to vote
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...