1033 search results - page 125 / 207 » Properties of Exercise Strategies |
141
click to vote
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
125
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
160
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
110
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
In the era of knowledge economy, more and more people view online communities of practice (CoPs) as wellspring of precious knowledge. Notably, many researchers support the notion ...