5639 search results - page 633 / 1128 » Timed Abstract Non-interference |
211
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...
172
click to vote
FOCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The generalized nested dissection method, developed by Lipton, Rose, and Tarjan, is a seminal method for solving a linear system Ax = b where A is a symmetric positive de...
200
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
170
Voted
IRFC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
210
click to vote
MASS
2010
15 years 4 months ago
2010
Abstract--Spread spectrum techniques (e.g., Frequency Hopping (FH), Direct Sequence Spread Spectrum (DSSS)) have been widely used for anti-jamming wireless communications. Such tec...