6608 search results - page 1150 / 1322 » On the Completeness of Model Checking |
126
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...
128
click to vote
CCIA
2007
Springer
15 years 10 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
126
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
140
click to vote
CTRSA
2007
Springer
15 years 10 months ago
2007
Springer
In 1999, two signature schemes based on the flexible RSA problem (a.k.a. strong RSA problem) were independently introduced: the Gennaro-Halevi-Rabin (GHR) signature scheme and the...
125
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...