670 search results - page 50 / 134 » Modeling Workflow within Distributed Systems |
180
click to vote
RSP
2007
IEEE
16 years 8 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
157
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
162
click to vote
JSSPP
2009
Springer
16 years 16 days ago
2009
Springer
In parallel systems, similar jobs tend to arrive within bursty periods. This fact leads to the existence of the locality phenomenon, a persistent similarity between nearby jobs, in...
170
click to vote
TSMC
2008
15 years 5 months ago
2008
In this paper, we study distributed failure diagnosis under k-bounded communication delay, where each local site transmits its observations to other sites immediately after each o...
272
click to vote
SPIRE
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we study query processing in a distributed text database. The novelty is a real distributed architecture implementation that offers concurrent query service. The di...