5015 search results - page 258 / 1003 » Model Checking a Path |
178
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper, we introduce a collision model for vehicular cluster and we propose path selection algorithms for multi-hop VANETs. That is, we propose the intuitive algorithm na...
166
click to vote
CORR
2011
Springer
15 years 29 days ago
2011
Springer
We present a general framework to model strategic aspects and stable and fair resource allocations in networks via variants and generalizations of path coalitional games. In these ...
174
click to vote
ISLPED
1995
ACM
15 years 10 months ago
1995
ACM
Prompted by demands for portability and low-cost packaging, the electronics industry has begun to view power consumption as a critical design criteria. As such there is a growing ...
133
click to vote
BMVC
2000
15 years 7 months ago
2000
This paper investigates the use of the Space Carving algorithm with outdoor image sequences, using a lambertian lighting model. A new consistency function is proposed that uses a ...
156
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
—Today, international mobile roaming (IMR) is experiencing changes both in terms of technology and business models. Traditionally, voice and SMS have been the only services offer...