Sciweavers

5326 search results - page 288 / 1066
» On what we can ensure
Sort
View
EMSOFT
2003
Springer
15 years 12 months ago
Generating Heap-Bounded Programs in a Functional Setting
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
Walid Taha, Stephan Ellner, Hongwei Xi
ICNP
2000
IEEE
15 years 11 months ago
Characterization and Performance Evaluation for Proportional Delay Differentiated Services
In this paper, we consider a proportional delay model for Internet differentiated services. Under this model, an ISP can control the “spacing” of waiting times between differe...
Matthew K. H. Leung, John C. S. Lui, David K. Y. Y...
COMPSEC
2006
97views more  COMPSEC 2006»
15 years 6 months ago
Towards a location-based mandatory access control model
With the growing use of wireless networks and mobile devices, we are moving towards an era where location information will be necessary for access control. The use of location inf...
Indrakshi Ray, Mahendra Kumar
ICIP
2008
IEEE
16 years 8 months ago
Display dependent coding for 3D video on automultiscopic displays
A method to adaptively code multiview videos has been proposed which uses the depth characteristics of automultiscopic displays. It is found that for the 3D scene seen on automult...
Vikas Ramachandra, Matthias Zwicker, Truong Q. Ngu...
ICIP
2003
IEEE
16 years 8 months ago
Graylevel alignment between two images using linear programming
A critical step in defect detection for semiconductorprocess is to align a test image against a reference. This includes both spatial alignment and grayscale alignment. For the la...
E. Y. Lam