3719 search results - page 96 / 744 » order 2010 |
111
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
82
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
98
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
We study the capacity regions of broadcast channels with binary inputs and symmetric outputs. We study the partial order induced by the more capable ordering of broadcast channels...
98
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
: In a heterogeneous, dynamic environment, like Grid, post-mortem analysis is of no use and data needs to be collected and analysed in real time. Novel techniques are also required...
IPMU
2010
Springer
14 years 11 months ago
2010
Springer
A class of extended aggregation operators, called impact functions, is proposed and their basic properties are examined. Some important classes of functions like generalized ordere...