4666 search results - page 51 / 934 » Equations on Timed Languages |
VW
2009
Springer
14 years 3 months ago
2009
Springer
—We propose an efficient alternative to commonly used parametric surfaces such as NURBS surfaces for definition of complex geometry in shared virtual spaces. Our mathematical mod...
LICS
2010
IEEE
13 years 9 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
SAC
2008
ACM
13 years 10 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
ESOP
2010
Springer
14 years 8 months ago
2010
Springer