14897 search results - page 2410 / 2980 » Environment for statistical computing |
220
click to vote
SPIN
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
220
click to vote
VECPAR
2004
Springer
16 years 11 days ago
2004
Springer
Binomial trees have been used extensively for broadcasting in clusters of workstations. In the case of heterogeneous nondedicated clusters and grid environments, the broadcasting o...
160
click to vote
AINA
2003
IEEE
16 years 10 days ago
2003
IEEE
RSVP is a reservation setup protocol designed specifically to support QoS signaling in the Internet. However, RSVP end-to-end signaled QoS for the Internet has not become a reali...
173
click to vote
AINA
2003
IEEE
16 years 10 days ago
2003
IEEE
Network security has always been a significant issue, but a recognized priority today due to the popular of internet. The issue is not if security should be implemented on a netwo...
218
click to vote
CA
2003
IEEE
16 years 10 days ago
2003
IEEE
— Using a single camera, we capture video of multiple people walking in an open area and insert a moving synthetic character into the scene. The people are located in the video u...