Sciweavers

948 search results - page 24 / 190
» Analysis of SITA policies
Sort
View
WAIM
2000
Springer
15 years 1 months ago
Advanced Replacement Policies for WWW Caching
Abstract. WWW caching necessitates advanced replacement policies that include sophisticated control logic and efficient contents management. This paper presents a constructive appr...
Kai Cheng, Yahiko Kambayashi
WWW
2007
ACM
15 years 10 months ago
Analyzing web access control policies
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
Vladimir Kolovski, James A. Hendler, Bijan Parsia
PE
2011
Springer
365views Optimization» more  PE 2011»
14 years 4 months ago
Optimal resource allocation for time-reservation systems
This paper studies the optimal resource allocation in time-reservation systems. Customers arrive at a service facility and receive service in two steps; in the first step informa...
Ran Yang, Sandjai Bhulai, Rob van der Mei, Frank J...
TWC
2010
14 years 4 months ago
Adaptive Modulation for MIMO Systems with Channel Prediction Errors
The performance of multiple-input multiple-output (MIMO) systems using spatial multiplexing is analyzed under channel prediction errors. We derive exact closed-form expressions for...
Unai Fernández-Plazaola, Eduardo Martos-Nay...
RTA
2010
Springer
15 years 1 months ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
Mark Hills, Grigore Rosu