7557 search results - page 168 / 1512 » Modeling Timed Concurrent Systems |
166
Voted
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
146
click to vote
VLDB
1987
ACM
15 years 9 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
149
click to vote
AAAI
2006
15 years 7 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...