1980 search results - page 372 / 396 » Compositional Model Checking of Real Time Systems |
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
Web-based 3D facial animation is an alternative of face to face communication. Animating 3D human faces is also a difficult task because of the substantive non-rigid facial motions...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we study the problem of allocating end-toend bandwidth to each of multiple traffic flows in a largescale network. We adopt the QoS-based Resource Allocation Model...
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
ESA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...