6808 search results - page 472 / 1362 » Distributed Concurrency Control |
157
click to vote
SSS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present a rigorous treatment to structured overlay maintenance in decentralized peerto-peer (P2P) systems subject to various system and network failures. we prese...
171
click to vote
WOSP
2005
ACM
16 years 15 days ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
182
click to vote
BIRTHDAY
2005
Springer
16 years 15 days ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
203
click to vote
CBSE
2005
Springer
16 years 15 days ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
173
click to vote
ICESS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...