4190 search results - page 305 / 838 » Implementing commitment-based interactions |
138
click to vote
HAPTICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
121
click to vote
ENTCS
2008
15 years 4 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
143
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
114
click to vote
JCC
2008
15 years 4 months ago
2008
: An efficient method for calculating the free energy of solvation of a (macro)molecule embedded in a continuum solvent is presented. It is based on the fully analytical evaluation...
146
click to vote
JNCA
2008
15 years 4 months ago
2008
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...