5639 search results - page 356 / 1128 » Timed Abstract Non-interference |
120
Voted
RECOMB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...
116
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper introduces two new tree-based anticollision schemes using multiple feedback symbols for uplink tag random access of emerging radio frequency identification (...
152
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
133
click to vote
NTMS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—It is well known that the suitability of many cryptographic algorithms decreases with time. Hence, it is a challenging task to maintain the integrity, authenticity, con...
111
click to vote
ESA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we show that algorithms on tree decompositions can be made faster with the use of generalisations of fast subset convolution. Amongst others, this gives al...