571 search results - page 17 / 115 » Context Proceduralization in Decision Making |
118
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We show that delaying fully-expansive proof reconstruction for non-interactive decision procedures can result in a more efficient workflow. In contrast with earlier work, our appr...
112
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...
144
click to vote
TIME
2009
IEEE
15 years 10 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
146
click to vote
CMS
2006
15 years 5 months ago
2006
This paper presents a model for delegation based on partial orders, proposing the subclass relation in OWL as a way to represent the partial orders. Delegation and authorization de...
134
Voted
EPIA
2001
Springer
15 years 8 months ago
2001
Springer
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...