2870 search results - page 378 / 574 » Synchronization of multi-agent systems |
142
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
128
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
167
Voted
ISCIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
131
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...