3856 search results - page 57 / 772 » Models for Automated Earthmoving |
CVIU
1998
13 years 9 months ago
1998
TOMACS
2002
13 years 9 months ago
2002
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
IJSEKE
2011
13 years 1 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
DLOG
2009
13 years 7 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...