2514 search results - page 187 / 503 » The use of industrial-strength formal methods |
173
click to vote
AIPS
2006
15 years 7 months ago
2006
This paper provides techniques for hierarchical task network (HTN) planning with durative actions. HTNs can provide useful heuristic guidance to planners, express goals that canno...
237
click to vote
TKDE
2012
13 years 9 months ago
2012
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
162
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
160
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
185
click to vote
ICALP
2007
Springer
16 years 19 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...