666 search results - page 67 / 134 » Component-Based Design and Analysis: A Case Study |
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents how state consistency among distributed control nodes is maintained in the presence of faults. We analyze a fault tolerant semi-synchronous architecture concep...
AI
2008
Springer
15 years 1 months ago
2008
Springer
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
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...
111
click to vote
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...