Steve John

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Entity-Relationship (ER) diagrams are an established way of doing data modeling. In this paper, we report our experience with exploring the use of PVS to formally specify and reason with ER data models. Working with a text-book example, we rely on PVS’s theory interpretation mechanism to verify the correctness of the mapping across various levels of(More)
This paper shows the modularity of self reconfigurable spider robots with a great versatility. These robots (Tarantula bots) are mainly used for a successful urban search and rescue system. Self reconfigurable system is used to explore the hardware reality of a robot along with its applications. Locomotion and visualizations in large terrain and earthquakes(More)
  • 1