3047 search results - page 332 / 610 » A Temporal Consensus Model |
200
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
193
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
190
click to vote
WICOMM
2008
15 years 6 months ago
2008
Multi-Carrier Code Division Multiple Access (MC-CDMA) is a modulation scheme that combines the advantages of OFDM and CDMA to provide robustness against frequency selectivity in w...
156
click to vote
TASE
2008
IEEE
16 years 28 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
173
click to vote
RTAS
2007
IEEE
16 years 25 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...