878 search results - page 127 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
108
click to vote
ATAL
2011
Springer
13 years 12 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
MMMACNS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
FCCM
1997
IEEE
15 years 4 months ago
1997
IEEE
By strictly separating reconfigurable logic from their host processor, current custom computing systems suffer from a significant communication bottleneck. In this paper we descri...
131
click to vote
TMC
2012
13 years 2 months ago
2012
—Backoff misbehavior, in which a wireless node deliberately manipulates its backoff time, can induce significant network problems, such as severe unfairness and denial-of-servic...
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract-- This paper studies distributed coordination algorithms for multiple fractional-order systems over a directed communication graph. A general fractional-order consensus mo...