12981 search results - page 2110 / 2597 » Model Checking (Abstract) |
227
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Fiber-optic networks are vulnerable to natural disasters, such as tornadoes or earthquakes, as well as to physical failures, such as an anchor cutting underwater fiber ca...
205
click to vote
ISLPED
2010
ACM
15 years 5 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...
227
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Deformable surface models are often represented as triangular meshes in image segmentation applications. For a fast and easily regularized deformation onto the target obj...
181
click to vote
PATMOS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Portable digital systems tend to be not just low power but power efficient as they are powered by low batteries or energy harvesters. Energy harvesting systems tend to pr...
176
click to vote
PIMRC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--This paper considers the problem of key management in wireless networks. In particular, we investigate the effect of dynamic key compromise and recovery on connectivity i...