5243 search results - page 366 / 1049 » Reasoning About Strategies |
183
Voted
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
200
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
176
Voted
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
129
click to vote
GROUP
2005
ACM
16 years 13 days ago
2005
ACM
We describe results from a survey of employees at Microsoft about how they manage personal and household scheduling. We saw a much greater use of digital calendars than we expecte...
174
Voted
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...