Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Methods for Observing Global Properties in Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Detecting Temporal Logic Predicates on the Happened-Before Model
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Detecting global predicates in distributed systems with clocks
Distributed Computing
A lattice-theoretic approach to runtime property detection for pervasive context
UIC'10 Proceedings of the 7th international conference on Ubiquitous intelligence and computing
| Hi-index | 0.00 |