52 search results - page 11 / 11 » Verifying Linear Duration Constraints of Timed Automata |
WSCG
2000
13 years 6 months ago
2000
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...
WCNC
2008
IEEE
13 years 11 months ago
2008
IEEE
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...