933 search results - page 90 / 187 » Extending Forward Checking |
113
click to vote
APWEB
2006
Springer
15 years 4 months ago
2006
Springer
Workflow mechanism is used into grid system to combine multiple grid services to implement complex grid application. But the workflow is not programmable, and is not flexible enoug...
103
Voted
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...
110
click to vote
AAAI
2008
15 years 3 months ago
2008
We present the first planner capable of reasoning with both the full semantics of PDDL2.1 (level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs heu...
FLAIRS
2003
15 years 2 months ago
2003
We extend the differential approach to inference in Bayesian networks (BNs) (Darwiche, 2000) to handle specific problems that arise in the context of dynamic Bayesian networks (D...
104
click to vote
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...