21490 search results - page 4108 / 4298 » Business Process Modeling |
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
— Packet buffers in router/switch interfaces constitute a central element of packet networks. The appropriate sizing of these buffers is an important and open research problem. M...
KBSE
2005
IEEE
14 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
VISUALIZATION
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a robust method for 3D reconstruction of closed surfaces from sparsely sampled parallel contours. A solution to this problem is especially important for medical segment...
WACV
2005
IEEE
14 years 4 months ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
WORDS
2005
IEEE
14 years 4 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...