933 search results - page 62 / 187 » Extending Forward Checking |
109
click to vote
AAAI
1990
15 years 3 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...
120
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we examine one of the security issues in vehicular ad-hoc network (VANETs): position-spoofing attack. We propose a novel Secure Location Verification (SLV) scheme to...
134
click to vote
ENTCS
2006
15 years 2 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
117
click to vote
IPL
2008
15 years 2 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
122
Voted
ENTCS
2002
15 years 2 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...