2028 search results - page 364 / 406 » Deriving Relation Keys from XML Keys |
126
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 ...
173
click to vote
SIGCSE
2000
ACM
15 years 8 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
158
click to vote
AMFG
2007
IEEE
15 years 8 months ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...
128
click to vote
CIDR
2009
15 years 5 months ago
2009
Energy costs are quickly rising in large-scale data centers and are soon projected to overtake the cost of hardware. As a result, data center operators have recently started turni...
151
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Expression profiles obtained from multiple perturbation experiments are increasingly used to reconstruct transcriptional regulatory networks, from well studied, simple...