2968 search results - page 184 / 594 » Network Programming Using PLAN |
161
click to vote
GSEM
2004
Springer
15 years 8 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
134
click to vote
CSCWD
2008
Springer
15 years 4 months ago
2008
Springer
Design is a complex process often described as a collaboration between a designer and herself. In architectural design, a designer must consider the selection of a subset of actio...
144
click to vote
ENTCS
2006
15 years 3 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
146
click to vote
COR
2007
15 years 3 months ago
2007
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
136
click to vote
TRANSCI
2010
14 years 9 months ago
2010
We consider the Courier Delivery Problem, a variant of the Vehicle Routing Problem with time windows in which customers appear probabilistically and their service times are uncert...