20126 search results - page 190 / 4026 » Timed Transition Systems |
128
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
134
Voted
ITSSA
2006
15 years 3 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
143
Voted
EUSFLAT
2009
15 years 1 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
136
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
We investigate techniques for visualizing time series data and evaluate their effect in value comparison tasks. We compare line charts with horizon graphs--a space-efficient time ...
149
Voted
PRDC
2000
IEEE
15 years 8 months ago
2000
IEEE
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...