554 search results - page 93 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
112
Voted
COCOON
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
129
Voted
MIDDLEWARE
2005
Springer
15 years 6 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
106
click to vote
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— In this paper we analyse a feedback system consisting of a finite buffer fluid queue and a responsive source. The source alternates between silence periods and active...
172
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—In this paper we propose a modification of the Explicit Congestion Notification (ECN) [1] to correct the bias against connections with long round trip times (RTT) of T...
103
click to vote
CDC
2008
IEEE
15 years 2 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...