1972 search results - page 72 / 395 » The Timed Asynchronous Distributed System Model |
ICARCV
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—This paper studies the system stability of a ModelBased Networked Control System in the cases where packet losses follow a certain distributions. In this study, the unre...
ICSEA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
ICAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
RTS
2006
13 years 9 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...