5243 search results - page 777 / 1049 » Reasoning About Strategies |
169
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
169
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
182
Voted
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
165
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
169
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...