Found 186 results
Filters: First Letter Of Last Name is H [Clear All Filters]
.
2010. .
2017.
Systems, methods and apparatus for implementation of formal specifications derived from informal requirements. # 7,739,671
.
2009. .
2011. .
2012. Smart Health Management for Swarm-based Space Exploration Systems. Proceedings of the 2nd International Workshop on Software Health Management(SHM’11).
.
2011. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. Patent Number #8,165,976
.
2012. Systems, methods and apparatus for quiesence of autonomic safety devices with self action. #7,904,396
.
2011. Software Engineering and Formal Methods. Communications of the ACM. 51
.
2008. .
2018. Flash drive memory apparatus and method. #7,673,089
.
2010. Evolving Critical Systems: A Research Agenda for Computer-Based Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.
.
2010. Systems, methods and apparatus for verification of knowledge-based sytems. Patent Number #7,752,608
.
2009. .
2011. Towards Resilient Space Exploration Systems. Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11)Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11).
.
2011. .
2011. Evolving Critical Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.
.
2010. Celebrating Advancements in Aerospace. Journal of Aerospace Computing Information and Communication. 6
.
2009. Building Dynamic Software Product Lines. Computer. 45
.
2012. .
2012. .
2010. Formal Methods. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2010. Method of improving system performance and survivability through changing function. Patent Number #8,275,724
.
2012. Multi-Agent Systems – Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their ApplicationsSoftware Agents, Agent Systems and Their Applications. 32
.
2012. .
2011.