2677 search results - page 36 / 536 » Animating pervasive computing |
PERVASIVE
2008
Springer
13 years 10 months ago
2008
Springer
PERVASIVE
2007
Springer
13 years 9 months ago
2007
Springer
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
PERCOM
2004
ACM
14 years 9 months ago
2004
ACM
CGI
1997
IEEE
14 years 2 months ago
1997
IEEE
A methodology for controlling uid animations is developed using the concept of an embedded controller. A controller acts as an interface between the animator and a general tool fo...