2573 search results - page 411 / 515 » Combinations of Modal Logics |
119
Voted
WSC
2008
15 years 6 months ago
2008
The Department of Homeland Security (DHS) shifted the focus of airport security in 2004 to incorporate the need to continuously and rapidly adapt security to shifting threats. MIT...
116
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
149
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
131
Voted
DEXA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
160
Voted
FOIKS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...