Paper Info
Title
Predicate Detection Modality and Semantics in Three Partially Synchronous Models
Abstract
Predicate detection addresses the challenge of monitoring the state of a distributed system. This research is the first step to explore predicate detection with partial synchrony assumptions. We study the observability of computation and focus on predicate detection semantics in three partially synchronous models. A framework of the behavior of predicate detection is established in terms of partial synchrony, modalities permitted and the best detection semantics. This work forms a conceptualization of the problem space and leads to disciplined approaches to predicate detection in realistic systems by identifying the strongest possible semantics for each modality and partial synchrony assumption.
Year
DOI
Venue
2008
10.1109/ICIS.2008.95
ACIS-ICIS
Keywords
Field
DocType
synchronous model,predicate detection semantics,predicate detection,problem space,partial synchrony,partial synchrony assumption,disciplined approach,realistic system,strongest possible semantics,detection semantics,predicate detection modality,partially synchronous models,observability,distributed system,synchronization,semantics,distributed processing,information science,distributed computing,computer science,history
Predicate transformer semantics,Synchronization,Observability,Predicate variable,Computer science,Theoretical computer science,Artificial intelligence,Natural language processing,Functional predicate,Predicate (grammar),Semantics,Predicate (mathematical logic)
Conference
Citations 
PageRank 
References 
2
0.36
21
Authors
2
Name
Order
Citations
PageRank
Chunbo Chu1112.72
Monica Brockmeyer29111.95