| D. Hendry. Personal communication, 1994. |
....offer on model instances can be used for these particular models as well. We note that model check in cannot be done without the intervention of a human administrator. New models have to be compiled and loaded to the agent. But is this really a handicap In a discussion of our system, David Hendry [Hen94] raised the objection that both model check in and model checking are issues. So it might be undesirable for models to be checked in without the having undergone validation. 5 Conclusions and Further Research We have proposed a system architecture that allows to obtain computational services on ....
D. Hendry. Personal communication, 1994.
....offer on model instances can be used for these particular models as well. We note that model check in cannot be done without the intervention of a human administrator. New models have to be compiled and loaded to the agent. But is this really a handicap In a discussion of our system, David Hendry [Hen94] raised the objection that both model check in and model checking are issues. So it might be undesirable for models to be checked in without having undergone validation. 5 CONCLUSIONS AND FURTHER RESEARCH 14 5 Conclusions and Further Research We have proposed a system architecture that allows ....
D. Hendry. Personal communication, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC