5015 search results - page 335 / 1003 » Model Checking a Path |
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Knowing the largest rate at which data can be sent on an end-to-end path such that the egress rate is equal to the ingress rate with high probability can be very practical when ch...
JDM
2010
15 years 5 months ago
2010
The presentation of product information is very important in e-commerce websites. In this research, we study how disposition styles can influence users’ search patterns in produ...
206
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
We introduce a traffic model for circuit-switched all-optical networks which we then use to calculate the blocking probability along a path for networks with and without wavelength...
171
click to vote
JVCA
2008
15 years 6 months ago
2008
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
205
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...