1554 search results - page 18 / 311 » An Overview of the Spring System |
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
ISER
2004
Springer
14 years 29 days ago
2004
Springer
This paper presents a new teleoperation scheme for mobile manipulation systems. A virtual spring connects a master and slave system where local force feedback on the slave system c...
DIAGRAMS
2000
Springer
13 years 12 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the