288 search results - page 38 / 58 » Interactive Termination Proofs Using Termination Cores |
121
click to vote
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
110
click to vote
ISM
2005
IEEE
15 years 3 months ago
2005
IEEE
The new IP Multimedia Subsystem (IMS) provides an overlay architecture for IP based core networks and enables the efficient provision of an open set of potentially highly integrat...
TNC
2004
14 years 10 months ago
2004
With the advent of the new wireless technologies allowing for higher data rates, the provision of high quality multimedia services over the upcoming wireless and mobile networks i...
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
HAPTICS
2008
IEEE
14 years 9 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...