690 search results - page 70 / 138 » Testing Temporal Logic Properties in Distributed Systems |
108
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages deļ¬nable...
LOGCOM
2010
14 years 11 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ļ...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
ATL is a temporal logic geared towards the speciļ¬cation and veriļ¬cation of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
108
click to vote
ENTCS
2008
15 years 19 days ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
133
click to vote
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
Recommender Systems, based on collaborative ļ¬ltering (CF), aim to accurately predict user tastes, by minimising the mean error achieved on hidden test sets of user ratings, afte...