824 search results - page 63 / 165 » Model-Based Monitoring of Dynamic Systems |
155
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
Current electronic commerce applications such as online auction systems are not trustworthy due to a lack of effective trust management mechanisms. A trustworthy online auction sy...
145
click to vote
TAP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
127
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
146
click to vote
ICDCS
2009
IEEE
16 years 1 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...
165
click to vote
RTSS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...