554 search results - page 93 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
COCOON
2005
Springer
14 years 1 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...
MIDDLEWARE
2005
Springer
14 years 1 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...
INFOCOM
2003
IEEE
14 years 24 days 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...
INFOCOM
2000
IEEE
13 years 12 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...
CDC
2008
IEEE
13 years 9 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...