13734 search results - page 178 / 2747 » Abstractions of data types |
106
click to vote
BIOCOMP
2006
15 years 5 months ago
2006
In this paper evidence is presented that supports the hypothesis that amino acid usage bias is a fundamental property of viral genome types. Clues to the biological basis for the o...
127
click to vote
ISCC
2000
IEEE
15 years 8 months ago
2000
IEEE
A new medium access control (MAC) protocol for mobile wireless communications is presented and investigated. We explore, via an extensive simulation study, the performance of the ...
148
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
128
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
150
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...