Sciweavers

2421 search results - page 359 / 485
» Consistency Management for Complex Applications
Sort
View
ISJGP
2007
146views more  ISJGP 2007»
15 years 4 months ago
End-to-End Security Across Wired-Wireless Networks for Mobile Users
Abstract  Recent advances in mobile computing and wireless communication technologies are enabling high mobility and flexibility of anytime, anywhere service access for mobile us...
Sherali Zeadally, Nicolas Sklavos, Moganakrishnan ...
TIP
2008
104views more  TIP 2008»
15 years 4 months ago
A Fast Thresholded Landweber Algorithm for Wavelet-Regularized Multidimensional Deconvolution
We present a fast variational deconvolution algorithm that minimizes a quadratic data term subject to a regularization on the 1 -norm of the wavelet coefficients of the solution. ...
Cédric Vonesch, Michael Unser
JOT
2007
88views more  JOT 2007»
15 years 4 months ago
Minimalist and Intuitive User Interface Design Guidelines for Consumer Electronics Devices
People today come in contact with many consumer electronics (CE) devices in their daily lives. CE devices have become increasingly complex with added functionality; devices from d...
Won Kim, Seonghoon Kang
TVLSI
2008
124views more  TVLSI 2008»
15 years 4 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
ANOR
2002
128views more  ANOR 2002»
15 years 4 months ago
Crew Assignment via Constraint Programming: Integrating Column Generation and Heuristic Tree Search
The Airline Crew Assignment Problem (ACA) consists of assigning lines of work to a set of crew members such that a set of activities is partitioned and the costs for that assignmen...
Meinolf Sellmann, Kyriakos Zervoudakis, Panagiotis...