Sciweavers

16702 search results - page 435 / 3341
» Server operating systems
Sort
View
165
Voted
DGO
2003
147views Education» more  DGO 2003»
15 years 8 months ago
A Framework for the Representation of Geospatial Image Processing Operations
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
Vijay Venkataraman, Peggy Agouris
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 7 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur
ISCI
2007
105views more  ISCI 2007»
15 years 6 months ago
Cost modeling of spatial operators using non-parametric regression
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...
Songtao Jiang, Byung Suk Lee, Zhen He
AINA
2008
IEEE
16 years 1 months ago
Multiple-Resource Request Scheduling for Differentiated QoS at Website Gateway
Differentiated quality of service is a way for a website operator to provide different service levels to its clients. Traditional HTTP request scheduling schemes can achieve this,...
Ying-Dar Lin, Ching-Ming Tien, Shih-Chiang Tsao, R...
HICSS
2006
IEEE
165views Biometrics» more  HICSS 2006»
16 years 26 days ago
Efficient Algorithms for Batch Re-Keying Operations in Secure Multicast
Secure multicast has a variety of applications in ecommerce, e-banking, command and control, video-ondemand, and other internet-based services. In this paper, we present algorithm...
Mohammad Hossain Heydari, Linda Morales, Ivan Hal ...