575 search results - page 85 / 115 » Model Checking Restricted Sets of Timed Paths |
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
124
click to vote
SMI
2003
IEEE
15 years 5 months ago
2003
IEEE
Skeleton is a lower dimensional shape description of an object. The requirements of a skeleton differ with applications. For example, object recognition requires skeletons with pr...
123
click to vote
ISPAN
2005
IEEE
15 years 5 months ago
2005
IEEE
We design a self-stabilizing cluster routing algorithm based on the link-cluster architecture of wireless ad hoc networks. The network is divided into clusters. Each cluster has a...
110
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
ETRA
2010
ACM
15 years 6 months ago
2010
ACM
Gaze visualizations represent an effective way for gaining fast insights into eye tracking data. Current approaches do not adequately support eye tracking studies for three-dimens...