7766 search results - page 364 / 1554 » Testing Nondeterminate Systems |
163
click to vote
ICPPW
2002
IEEE
15 years 11 months 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...
177
click to vote
KI
2009
Springer
15 years 11 months 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 ...
178
click to vote
ACSAC
2000
IEEE
15 years 11 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...
155
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...
167
Voted
IWSSD
2000
IEEE
15 years 11 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...