Sciweavers

52 search results - page 2 / 11
» Rule-Based Systems with Unreliable Conditions
Sort
View
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 8 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
OPODIS
2008
13 years 8 months ago
An Unreliable Failure Detector for Unknown and Mobile Networks
This paper presents an asynchronous implementation of a failure detector for unknown and mobile networks. Our approach does not rely on timers. Neither the composition nor the numb...
Pierre Sens, Luciana Arantes, Mathieu Bouillaguet,...
EUROMICRO
2005
IEEE
14 years 15 days ago
RSerPool - Providing Highly Available Services using Unreliable Servers
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
Thomas Dreibholz, Erwin P. Rathgeb
AUTOMATICA
2006
84views more  AUTOMATICA 2006»
13 years 7 months ago
Optimal control of LTI systems over unreliable communication links
In this paper, optimal control of linear time-invariant (LTI) systems over unreliable communication links is studied. The motivation of the problem comes from growing applications...
Orhan C. Imer, Serdar Yüksel, Tamer Basar
SAMOS
2009
Springer
14 years 1 months ago
Multiple Description Scalable Coding for Video Transmission over Unreliable Networks
Developing real time multimedia applications for best effort networks such as the Internet requires prohibitions against jitter delay and frame loss. This problem is further compl...
Roya Choupani, Stephan Wong, Mehmet R. Tolun