Sciweavers

4697 search results - page 341 / 940
» On Directed Information and Gambling
Sort
View
MHCI
2004
Springer
16 years 28 days ago
Web Page Transformation When Switching Devices
With network and small screen device improvements, such as wireless abilities, increased memory and CPU speeds, users are no longer limited by location when accessing on-line infor...
Bonnie MacKay, Carolyn R. Watters, Jack Duffy
SPIN
2004
Springer
16 years 27 days ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
HICSS
2003
IEEE
150views Biometrics» more  HICSS 2003»
16 years 26 days ago
Adaptive Location Management Strategy Combining Distance-Based Update and Sectional Paging Techniques
In this paper, we develop a new adaptive scheme in which an optimal distance-based update threshold is selected not only as a function of the call-to-mobility ratio, but also as a...
Tracy Tung, Abbas Jamalipour
IPPS
2003
IEEE
16 years 25 days ago
An Extended Link Reversal Protocol in Dynamic Networks
— We consider the problem of maintaining routing paths between nodes in a dynamic network. Gafni and Bertsekas proposed a link reversal approach called the BG method that maintai...
Jie Wu, Fei Dai
APCCAS
2002
IEEE
156views Hardware» more  APCCAS 2002»
16 years 16 days ago
Bit-plane watermarking for zerotree-coded images
In this paper, we develop a robust bit-plane watermarking technique based on zerotree coding. A robust watermark is an imperceptible but indelible code that can be used for owners...
Shih-Hsuan Yang, Hsin-Chang Chen