10051 search results - page 259 / 2011 » A Dynamic Separator Algorithm |
170
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider the channel selection problem in a cognitive radio network with heterogenous channel availabilities at different nodes. We formulate the maximum channel selection (MCS)...
171
click to vote
ISIM
2007
15 years 8 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
163
click to vote
FMOODS
2006
15 years 8 months ago
2006
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...
159
click to vote
DICTA
2003
15 years 8 months ago
2003
We present a scale-space with separate scales in the greyscale and spatial dimensions, using ideas from mathematical morphology. Dynamics are used for greyscale (luminance) filter...
159
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...