Biblio

Export 10 results:
Sort by:
Filters: Author is M. G. Hinchey  [Clear All Filters]
2007
Bohner, S. A., D. Gracanin, M. G. Hinchey, and M. Eltoweissy, "Model-based evolution of collaborative agent-based systems", Journal of the Brazilian Computer Society, vol. 13, pp. 17–38, December, 2007.
2006
Hinchey, M. G., J. L. Rash, C. A. Rouff, and D. Gracanin, "Achieving dependability in sensor networks through automated requirements-based programming", Computer Communications, vol. 29, no. 2, pp. 246–256, 2006.
Rash, J. L., M. G. Hinchey, C. A. Rouff, D. Gracanin, and J. Erickson, "A requirements-based programming approach to developing a nasa autonomous ground control system", Artificial Intelligence Review, vol. 25, no. 4, pp. 285–297, 2006.
2005
Rash, J., M. G. Hinchey, C. A. Rouff, and D. Gracanin, "Formal requirements-based programming for complex systems", Proceedings of the International Conference on Engineering of Complex Computer Systems, (Shanghai, China, pp. 116-125, June, 2005.
Rash, J., M. G. Hinchey, C. Rouff, D. Gracanin, and J. D. Erickson, "A tool for requirements-based programming", Proceedings of the Integrated Design and Process Technology (IDPT), Beijing, China, June, 2005.
Adams, K. P., D. Gracanin, and M. G. Hinchey, "Increasing resiliency through priority scheduling of asynchronous data replication", Proceedings of the Eleventh International Conference on Parallel and Distributed Systems (ICPADS 2005), Fukuoka, Japan, pp. 356–362, July, 2005.
Gracanin, D., H. L. Singh, M. G. Hinchey, M. Eltoweissy, and S. A. Bohner, "CSP agent modeling framework for Cougaar agent-based architecture", Proceedings of the 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005), Greenbelt, MD, pp. 255–262, April, 2005.
Rash, J., M. G. Hinchey, C. Rouff, D. Gracanin, and J. D. Erickson, "“Experiences with a requirementsbased programming approach to the development of a NASA autonomous ground control system", Proceedings of the 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005): 2nd IEEE Workshop on Engineering of Autonomic Systems, Greenbelt, MD, pp. 490–497, April, 2005.
Sterritt, R., M. G. Hinchey, J. L. Rash, W. Truszkowski, C. A. Rouff, and D. Gracanin, "Towards formal specification and generation of autonomic policies", Proceedings of the EUC Workshops 2005, vol. 3823 of Lecture Notes in Computer Science: Springer, pp. 1245–1254, 2005.
2004
Gracanin, D., L. H. Singh, S. A. Bohner, and M. G. Hinchey, "Model-driven architecture for agent based systems", Proceedings of the Third NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS III) (M. G. Hinchey, J. Rash, W. Truszkowski, and C. Rouff, eds.), vol. 3228, Greenbelt, Maryland, Springer Verlag, April, 2004.