Export 3 results:
Sort by: Filters: Author is J. L. Rash [Clear All Filters]
"Achieving dependability in sensor networks through automated requirements-based programming",
Computer Communications, vol. 29, no. 2, pp. 246–256, 2006.
"A requirements-based programming approach to developing a nasa autonomous ground control system",
Artificial Intelligence Review, vol. 25, no. 4, pp. 285–297, 2006.
"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.