1395 search results - page 69 / 279 » Incremental Construction Approach for Distributed System Spe... |
129
click to vote
SRDS
1993
IEEE
15 years 5 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
116
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
133
click to vote
SIMULATION
2011
14 years 8 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
106
click to vote
JPDC
2008
15 years 1 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...