11172 search results - page 703 / 2235 » Testing Physical Systems |
182
click to vote
COCO
2003
Springer
16 years 21 days ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
184
click to vote
ICPPW
2002
IEEE
16 years 13 days ago
2002
IEEE
This paper explores several systems issues regarding the implementation of routing protocols for mobile ad-hoc networks. It proclaims that support for on-demand routing is insuf...
200
click to vote
KI
2009
Springer
16 years 1 days ago
2009
Springer
The increasing number of spoken dialog systems calls for efficient approaches for their development and testing. Our goal is the minimization of hand-crafted resources to maximize ...
198
click to vote
ACSAC
2000
IEEE
15 years 12 months ago
2000
IEEE
Recent work has shown that conventional operating system audit trails are insufficient to detect low-level network attacks. Because audit trails are typically based upon system c...
189
click to vote
IWSSD
2000
IEEE
15 years 12 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...