7 search results - page 2 / 2 » Robustness of Boolean operations on subdivision-surface mode... |
LATIN
2010
Springer
14 years 7 days ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
IJNM
2000
13 years 5 months ago
2000
The complexity of communication networks and the amount of information transferred in these networks have made the management of such networks increasingly difficult. Since faults ...