5015 search results - page 753 / 1003 » Model Checking a Path |
189
click to vote
ICPADS
2000
IEEE
15 years 10 months ago
2000
IEEE
1 Reliable communication in cube-based multicomputers using the extended safety vector concept is studied in this paper. In our approach, each node in a cube-based multicomputer o...
147
click to vote
WSC
2004
15 years 8 months ago
2004
In 2001, Detroit Metropolitan Wayne County Airport (DTW) opened a new runway parallel to three existing runways. While this increases DTW's runway capacity, the airport is se...
170
click to vote
WSC
2004
15 years 8 months ago
2004
We consider single-stage, single-product Make-to-Stock systems with random demand and random service (production) rate, where demand shortages at the inventory facility are backor...
263
click to vote
AIPT
1993
15 years 8 months ago
1993
OSI provides a powerful object-oriented management model that is infinitely scalable and extensible but is only now beginning to see widespread support. The Internet model has fo...
195
click to vote
CN
2006
15 years 6 months ago
2006
In this paper, we propose an "in-network" diversity combining scheme for image transport over wireless sensor networks. We consider a wireless sensor network with both w...