933 search results - page 62 / 187 » Extending Forward Checking |
95
Voted
AAAI
1990
15 years 1 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...
105
Voted
GLOBECOM
2008
IEEE
15 years 26 days 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...
113
click to vote
ENTCS
2006
15 years 22 days ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
101
click to vote
IPL
2008
15 years 21 days 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...
103
click to vote
ENTCS
2002
15 years 15 days 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...