800 search results - page 85 / 160 » XML access control using static analysis |
137
click to vote
LCN
2003
IEEE
15 years 8 months ago
2003
IEEE
Assured Service has been proposed within the Differentiated Services (DiffServ) model to provide relative service differentiation by attempting to allocate bandwidth to different ...
115
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
127
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
128
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Gene expression microarrays allow the quantification of transcript accumulation for many or all genes in a genome. This technology has been utilized for a range of inv...
189
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper proposes two indicators for predicting the quality of camera model parameters from a set of input images. The first indicator is based on the acutance. It can quickly i...