1996 search results - page 73 / 400 » A decision procedure for linear |
144
click to vote
CCS
1999
ACM
15 years 10 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...
177
click to vote
DLOG
2009
15 years 4 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
162
click to vote
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
165
click to vote
JAPLL
2010
15 years 1 months ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
142
click to vote
ALDT
2009
Springer
15 years 11 months ago
2009
Springer
In this article we develop an indirect approach for assessing criteria significance weights from the robustness of the significance that a decision maker acknowledges for his pai...