1980 search results - page 372 / 396 » Compositional Model Checking of Real Time Systems |
187
click to vote
ICWL
2007
Springer
16 years 13 hour 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...
172
click to vote
VRST
2006
ACM
15 years 11 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...
164
click to vote
RTAS
2005
IEEE
15 years 11 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...
165
click to vote
ADAEUROPE
2005
Springer
15 years 11 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...
171
click to vote
ESA
2005
Springer
15 years 11 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...